Searched refs:messageInfoFromWord (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/api/
A D	types.h	73 static inline seL4_MessageInfo_t CONST messageInfoFromWord(word_t w) in messageInfoFromWord() function
/seL4-master/src/api/
A D	faults.c	117 seL4_MessageInfo_t tag = messageInfoFromWord(getRegister(sender, msgInfoRegister)); in handleFaultReply()
A D	syscall.c	376 info = messageInfoFromWord(getRegister(thread, msgInfoRegister)); in handleInvocation()
/seL4-master/src/kernel/
A D	thread.c	206 tag = messageInfoFromWord(getRegister(sender, msgInfoRegister)); in doNormalTransfer()

Completed in 6 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023