Lines Matching refs:badge
33 static inline seL4_MessageInfo_t api_wait(seL4_CPtr ep, seL4_Word *badge)
36 return seL4_Wait(ep, badge);
38 return seL4_Recv(ep, badge);
42 static inline seL4_MessageInfo_t api_recv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply)
45 return seL4_Recv(ep, badge, reply);
47 return seL4_Recv(ep, badge);
51 static inline seL4_MessageInfo_t api_nbrecv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply)
54 return seL4_NBRecv(ep, badge, reply);
56 return seL4_NBRecv(ep, badge);
69 static inline seL4_MessageInfo_t api_reply_recv(seL4_CPtr ep, seL4_MessageInfo_t msg, seL4_Word *badge,
73 return seL4_ReplyRecv(ep, msg, badge, reply);
75 return seL4_ReplyRecv(ep, msg, badge);
80 UNUSED seL4_CPtr recv, UNUSED seL4_Word *badge,
85 return seL4_NBSendRecv(send, info, recv, badge, reply);
92 UNUSED seL4_CPtr recv, UNUSED seL4_Word *badge)
96 return seL4_NBSendWait(send, info, recv, badge);
187 UNUSED seL4_Word refills, UNUSED seL4_Word badge)
193 return seL4_SchedControl_Configure(sched_ctrl, sc, budget, period, refills, badge);