Searched defs:remoteCall (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/arch/arm/smp/
H A Dipi.c14 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable
/seL4-camkes-master/kernel/src/arch/x86/smp/
H A Dipi.c14 static IpiModeRemoteCall_t remoteCall; /* the remote call being requested */ variable
/seL4-camkes-master/kernel/src/arch/riscv/smp/
H A Dipi.c15 static volatile IpiRemoteCall_t remoteCall; variable

Completed in 59 milliseconds