Searched refs:seL4_Poll (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/kernel/libsel4/arch_include/x86/sel4/arch/ |
H A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) function 24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) function
|
/seL4-test-master/kernel/libsel4/include/sel4/ |
H A D | syscalls_master.h | 226 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
|
H A D | syscalls_mcs.h | 279 seL4_Poll(seL4_CPtr src, seL4_Word *sender);
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | nbwait.c | 81 info = seL4_Poll(notification.cptr, &badge); 88 info = seL4_Poll(notification.cptr, &badge); 92 info = seL4_Poll(notification.cptr, &badge);
|
/seL4-test-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 797 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) function
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | irq.c | 944 seL4_Poll(ntfn, &badge);
|
/seL4-test-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 377 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) function
|
Completed in 102 milliseconds