Searched defs:seL4_SetMR (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h27 seL4_SetMR(int i, seL4_Word mr) function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h40 seL4_SetMR(int i, seL4_Word mr) function
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h28 seL4_SetMR(int i, seL4_Word mr) function
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventTo.c880 seL4_SetMR function
H A DRPCFrom.c1001 seL4_SetMR function
[all...]
H A DRPCTo.c1000 seL4_SetMR function
[all...]
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c250 static inline void seL4_SetMR(int i, seL4_Word mr) { function

Completed in 39 milliseconds