Searched refs:userarg (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-master/seL4/libsel4/include/sel4/ |
| H A D | syscalls.h | 152 * @param userarg A single argument to pass to the function.
156 seL4_DebugRun(void (* userfn)(void *), void *userarg);
|
| /seL4-l4v-master/seL4/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 656 LIBSEL4_INLINE_FUNC void seL4_DebugRun(void (* userfn)(void *), void *userarg) argument
658 arm_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 880 LIBSEL4_INLINE_FUNC void seL4_DebugRun(void (*userfn)(void *), void *userarg) argument
882 x86_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 679 LIBSEL4_INLINE_FUNC void seL4_DebugRun(void (*userfn)(void *), void *userarg) argument
681 x64_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
| /seL4-l4v-master/seL4/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 855 LIBSEL4_INLINE_FUNC void seL4_DebugRun(void (* userfn)(void *), void *userarg) argument
858 register seL4_Word arg2 asm("a1") = (seL4_Word)userarg;
|
Completed in 100 milliseconds