Searched refs:userarg (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ |
H A D | syscalls.h | 354 * @param userarg A single argument to pass to the function. 358 seL4_DebugRun(void (* userfn) (void *), void* userarg);
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/arm/sel4/arch/ |
H A D | syscalls.h | 387 seL4_DebugRun(void (* userfn) (void *), void* userarg) argument 389 arm_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | syscalls.h | 597 seL4_DebugRun(void (*userfn) (void *), void* userarg) argument 599 x86_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | syscalls.h | 431 seL4_DebugRun(void (*userfn) (void *), void* userarg) argument 433 x64_sys_send_null(seL4_SysDebugRun, (seL4_Word)userfn, (seL4_Word)userarg);
|
/seL4-l4v-10.1.1/seL4/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 556 seL4_DebugRun(void (* userfn) (void *), void* userarg) argument 559 register seL4_Word arg2 asm("a1") = (seL4_Word)userarg;
|
Completed in 47 milliseconds