Searched defs:arg1 (Results 1 - 5 of 5) sorted by relevance
/seL4-mcs-10.1.1/src/arch/x86/32/smp/ |
H A D | ipi.c | 18 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
/seL4-mcs-10.1.1/src/arch/x86/64/smp/ |
H A D | ipi.c | 19 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) argument
|
/seL4-mcs-10.1.1/src/arch/arm/smp/ |
H A D | ipi.c | 35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-mcs-10.1.1/src/arch/x86/smp/ |
H A D | ipi.c | 35 handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2, bool_t irqPath) argument
|
/seL4-mcs-10.1.1/src/arch/arm/machine/ |
H A D | l2c_310.c | 235 mshield_smc(uint32_t callid, uint32_t arg1, uint32_t arg2) argument
|
Completed in 32 milliseconds