Lines Matching refs:mi
67 seL4_MessageInfo_t mi;
69 mi.words[0] = w;
70 return mi;
75 seL4_MessageInfo_t mi;
78 mi.words[0] = w;
80 len = seL4_MessageInfo_get_length(mi);
82 mi = seL4_MessageInfo_set_length(mi, seL4_MsgMaxLength);
85 return mi;
88 static inline word_t CONST wordFromMessageInfo(seL4_MessageInfo_t mi)
90 return mi.words[0];