Searched defs:seL4_IllegalOperation (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h13 seL4_IllegalOperation, enumerator in enum:__anon38
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c209 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_IllegalOperation); local
243 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_IllegalOperation); local

Completed in 27 milliseconds