Searched defs:mr (Results 1 - 5 of 5) 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) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h40 seL4_SetMR(int i, seL4_Word mr) argument
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h22 seL4_Word mr; local
28 seL4_SetMR(int i, seL4_Word mr) argument
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Ddeprecated.h101 seL4_ExceptIPC_Get(seL4_Word mr) argument
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c250 static inline void seL4_SetMR(int i, seL4_Word mr) { argument

Completed in 104 milliseconds