Searched refs:preemptionPoint (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/model/
A D	preemption.h	11 exception_t preemptionPoint(void);
/seL4-master/src/model/
A D	preemption.c	16 exception_t preemptionPoint(void) function
/seL4-master/src/object/
A D	untyped.c	264 status = preemptionPoint(); in resetUntypedCap()
A D	cnode.c	543 status = preemptionPoint(); in cteRevoke() 650 status = preemptionPoint(); in finaliseSlot()

Completed in 11 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023