Home
last modified time | relevance | path

Searched refs:remoteCall (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/arch/arm/smp/
A Dipi.c14 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable
20 remoteCall = (IpiModeRemoteCall_t)func; in init_ipi_args()
/seL4-master/src/arch/riscv/smp/
A Dipi.c15 static volatile IpiRemoteCall_t remoteCall; variable
22 remoteCall = func; in init_ipi_args()
/seL4-master/src/smp/
A Dipi.c49 assert((IpiRemoteCall_t)remoteCall != IpiRemoteCall_Stall); in ipiStallCoreCallback()
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 Dipi.c14 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable
20 remoteCall = (IpiModeRemoteCall_t)func; in init_ipi_args()

Completed in 6 milliseconds