Searched refs:mr (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h22 seL4_Word mr; local
23 SEL4_GET_IPCBUF_SCALE(msg, i, mr);
24 return mr;
28 seL4_SetMR(int i, seL4_Word mr) argument
30 SEL4_SET_IPCBUF_SCALE(msg, i, mr);
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h27 seL4_SetMR(int i, seL4_Word mr) argument
29 seL4_GetIPCBuffer()->msg[i] = mr;
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h40 seL4_SetMR(int i, seL4_Word mr) argument
42 seL4_GetIPCBuffer()->msg[i] = mr;
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Ddeprecated.h100 seL4_ExceptIPC_Get(seL4_Word mr) argument
102 return seL4_GetMR(mr);

Completed in 30 milliseconds