Hello Genode,<br>I have a question regarding Genode Label in Fiasco.OC kernel.<br><br>I noticed that Msgbuf_base::label() is the same as the return value of l4_ipc_wait (which is basically genode label):<br><br>        L4_INLINE l4_msgtag_t<br>
        l4_ipc_wait(l4_utcb_t *utcb, l4_umword_t *label, l4_timeout_t timeout) L4_NOTHROW;<br><br><br>label is described as following:<br><br>         * \retval  label   Label assigned to the source object (IPC gate or IRQ).<br>
<br><br>But, I can not see any corresponding label in ipc call as we can see below:<br><br>        L4_INLINE l4_msgtag_t<br>
        l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW;<br><br><br>So, here goes the question: <br>Since genode label is passed to the first data of Msgbuf_base::buf, does Fiasco.OC pickup this value and return when l4_ipc_wait function called?<br>
<br><br>Best regards,<br>Jaeyong<br><br>