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

/seL4-camkes-master/kernel/include/arch/x86/arch/smp/
H A Dipi.h14 IpiRemoteCall_ClearCurrentVCPU, enumerator in enum:__anon10

Completed in 76 milliseconds