Lines Matching defs:info
26 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps,
195 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps,
202 info = seL4_MessageInfo_set_extraCaps(info, 0);
203 info = seL4_MessageInfo_set_capsUnwrapped(info, 0);
206 return info;
222 info = seL4_MessageInfo_set_capsUnwrapped(info,
223 seL4_MessageInfo_get_capsUnwrapped(info) | (1 << i));
247 return seL4_MessageInfo_set_extraCaps(info, i);