Lines Matching defs:info
262 seL4_MessageInfo_t info; in seL4_Recv() local
292 seL4_MessageInfo_t info; in seL4_RecvWithMRs() local
328 seL4_MessageInfo_t info; in seL4_NBRecv() local
352 seL4_MessageInfo_t info; in seL4_Call() local
389 seL4_MessageInfo_t info; in seL4_CallWithMRs() local
434 seL4_MessageInfo_t info; in seL4_ReplyRecv() local
475 seL4_MessageInfo_t info; in seL4_ReplyRecvWithMRs() local
524 seL4_MessageInfo_t info; in seL4_NBSendRecv() local
559 seL4_MessageInfo_t info; in seL4_NBSendRecvWithMRs() local
608 seL4_MessageInfo_t info; in seL4_NBSendWait() local
642 seL4_MessageInfo_t info; in seL4_NBSendWaitWithMRs() local
697 seL4_MessageInfo_t info; in seL4_Wait() local
721 seL4_MessageInfo_t info; in seL4_WaitWithMRs() local
753 seL4_MessageInfo_t info; in seL4_NBWait() local