Searched defs:arg1 (Results 1 – 7 of 7) sorted by relevance
| /seL4-master/src/arch/x86/32/smp/ |
| A D | ipi.c | 12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall()
|
| /seL4-master/src/arch/x86/64/smp/ |
| A D | ipi.c | 13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall()
|
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall()
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 32 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 30 word_t arg1, word_t arg2, bool_t irqPath) in handleRemoteCall()
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | sbi.h | 73 #define SBI_CALL_2(which, arg0, arg1) sbi_call(which, arg0, arg1, 0) argument
|
| /seL4-master/src/arch/arm/machine/ |
| A D | l2c_310.c | 231 BOOT_CODE static void mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) in mshield_smc()
|
Completed in 14 milliseconds