Searched refs:VMX_EXIT_QUAL_TYPE_MOV_CR (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/x86/object/ | ||
H A D | vcpu.c | 24 #define VMX_EXIT_QUAL_TYPE_MOV_CR 0 macro 1177 case VMX_EXIT_QUAL_TYPE_MOV_CR: { |
Completed in 28 milliseconds