Searched refs:handleRemoteCall (Results 1 – 4 of 4) sorted by relevance
| /seL4-master/src/arch/arm/smp/ |
| A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, in handleRemoteCall() function
|
| /seL4-master/src/arch/riscv/smp/ |
| A D | ipi.c | 31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, in handleRemoteCall() function
|
| /seL4-master/src/smp/ |
| A D | ipi.c | 76 handleRemoteCall(remoteCall, get_ipi_arg(0), get_ipi_arg(1), get_ipi_arg(2), irqPath); in handleIPI()
|
| /seL4-master/src/arch/x86/smp/ |
| A D | ipi.c | 29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, in handleRemoteCall() function
|
Completed in 4 milliseconds