msg_destnode
if (!ehdr->destined || msg_short(hdr) || msg_destnode(hdr) != self)
msg_seqno(hdr), msg_prevnode(hdr), msg_destnode(hdr));
u32 dnode = msg_destnode(hdr);
FIRST_FRAGMENT, INT_H_SIZE, msg_destnode(mhdr));
dnode = msg_destnode(buf_msg(skb));
u32 dnode = msg_destnode(hdr);
if (unlikely(!msg_short(hdr) && (msg_destnode(hdr) != self)))
return msg_destnode(&tsk->phdr);
dnode = msg_destnode(buf_msg(skb));
dnode = msg_destnode(buf_msg(skb));
i += scnprintf(buf + i, sz - i, " %x", msg_destnode(hdr));