Home
last modified time | relevance | path

Searched defs:handleRemoteCall (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/smp/
A Dipi.c29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, in handleRemoteCall() function
/seL4-master/src/arch/riscv/smp/
A Dipi.c31 static void handleRemoteCall(IpiRemoteCall_t call, word_t arg0, in handleRemoteCall() function
/seL4-master/src/arch/x86/smp/
A Dipi.c29 static void handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, in handleRemoteCall() function

Completed in 3 milliseconds