Home
last modified time | relevance | path

Searched defs:Mode_handleRemoteCall (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/x86/32/smp/
A Dipi.c12 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall() function
/seL4-master/src/arch/x86/64/smp/
A Dipi.c13 void Mode_handleRemoteCall(IpiModeRemoteCall_t call, word_t arg0, word_t arg1, word_t arg2) in Mode_handleRemoteCall() function

Completed in 4 milliseconds