Searched refs:handleVmexit (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c215 /* NODE_LOCK will get called in handleVmexit */
216 handleVmexit();
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h340 exception_t handleVmexit(void);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1125 exception_t handleVmexit(void) function
1363 * checked in handleVmexit and the exception will get forwarded */
1368 * owner had also claimed ownership then in handleVmexit we won't actually

Completed in 45 milliseconds