Searched refs:seL4_Notify (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/l4v/camkes/glue-proofs/document/
H A Deventfrom-emit-underlying.c8 seL4_Notify(6, /* ignored */ 0);
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c957 seL4_Notify function
1729 seL4_Notify
H A DRPCFrom.c1021 seL4_Notify function

Completed in 82 milliseconds