Home
last modified time | relevance | path

Searched refs:messageInfoFromWord_raw (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/benchmark/
A Dbenchmark_track.h52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo); in benchmark_debug_syscall_start()
/seL4-master/include/api/
A Dtypes.h65 static inline seL4_MessageInfo_t CONST messageInfoFromWord_raw(word_t w) in messageInfoFromWord_raw() function
/seL4-master/src/fastpath/
A Dfastpath.c37 info = messageInfoFromWord_raw(msgInfo); in fastpath_call()
247 info = messageInfoFromWord_raw(msgInfo); in fastpath_reply_recv()

Completed in 3 milliseconds