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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h10 seL4_NoError = 0, enumerator in enum:__anon38
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c227 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_NoError); local
247 setRegister(NODE_STATE(ksCurThread), capRegister, seL4_NoError); local

Completed in 28 milliseconds