Searched refs:userarg (Results 1 - 9 of 9) sorted by relevance
| /seL4-camkes-master/kernel/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-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
| H A D | sel4bench.h | 38 void seL4_DebugRun(void (* userfn)(void *), void *userarg);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
| H A D | sel4bench.h | 34 void seL4_DebugRun(void (* userfn)(void *), void *userarg);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
| H A D | sel4bench.h | 181 void seL4_DebugRun(void (* userfn) (void *), void* userarg);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
| H A D | sel4bench.h | 67 void seL4_DebugRun(void (* userfn) (void *), void* userarg);
|
| /seL4-camkes-master/kernel/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-camkes-master/kernel/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-camkes-master/kernel/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-camkes-master/kernel/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 184 milliseconds