Lines Matching defs:info
25 seL4_MessageInfo_t info;
38 /* Get message info, length, and fault type. */
39 info = messageInfoFromWord_raw(msgInfo);
40 length = seL4_MessageInfo_get_length(info);
183 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0));
191 seL4_MessageInfo_t info;
207 /* Get message info and length */
208 info = messageInfoFromWord_raw(msgInfo);
209 length = seL4_MessageInfo_get_length(info);
374 msgInfo = wordFromMessageInfo(seL4_MessageInfo_set_capsUnwrapped(info, 0));