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

/seL4-refos-master/kernel/include/benchmark/
H A Dbenchmark_track.h52 seL4_MessageInfo_t info = messageInfoFromWord_raw(msgInfo);
/seL4-refos-master/kernel/include/api/
H A Dtypes.h65 static inline seL4_MessageInfo_t CONST messageInfoFromWord_raw(word_t w) function
/seL4-refos-master/kernel/src/fastpath/
H A Dfastpath.c39 info = messageInfoFromWord_raw(msgInfo);
251 info = messageInfoFromWord_raw(msgInfo);

Completed in 97 milliseconds