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

/seL4-master/include/api/
A D	types.h	67 seL4_MessageInfo_t mi; in messageInfoFromWord_raw() local 69 mi.words[0] = w; in messageInfoFromWord_raw() 70 return mi; in messageInfoFromWord_raw() 75 seL4_MessageInfo_t mi; in messageInfoFromWord() local 78 mi.words[0] = w; in messageInfoFromWord() 80 len = seL4_MessageInfo_get_length(mi); in messageInfoFromWord() 82 mi = seL4_MessageInfo_set_length(mi, seL4_MsgMaxLength); in messageInfoFromWord() 85 return mi; in messageInfoFromWord() 88 static inline word_t CONST wordFromMessageInfo(seL4_MessageInfo_t mi) in wordFromMessageInfo() argument 90 return mi.words[0]; in wordFromMessageInfo()

Completed in 3 milliseconds

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