Searched refs:RECV_MRS (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
H A D | syscalls.h | 371 #define RECV_MRS &mr0 macro 377 #define RECV_MRS &mr0, &mr1 macro |
Completed in 70 milliseconds