Searched refs:seL4_UserContext (Results 1 – 6 of 6) sorted by relevance
18 } seL4_UserContext; typedef
20 } seL4_UserContext; typedef
24 } seL4_UserContext; typedef
61 } seL4_UserContext; typedef
75 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext reg… in seL4_TimeoutReply_new()
Completed in 8 milliseconds