Searched refs:cpl (Results 1 – 2 of 2) sorted by relevance
510 uint32_t cpl; in exception_vmexit_handler() local528 cpl = exec_vmread32(VMX_GUEST_CS_ATTR); in exception_vmexit_handler()529 cpl = (cpl >> 5U) & 3U; in exception_vmexit_handler()531 if (cpl < 3U) { in exception_vmexit_handler()
395 uint32_t cpl; in xsetbv_vmexit_handler() local401 cpl = exec_vmread32(VMX_GUEST_CS_ATTR); in xsetbv_vmexit_handler()402 cpl = (cpl >> 5U) & 3U; in xsetbv_vmexit_handler()404 if ((idx < NR_WORLD) && (cpl == 0U)) { in xsetbv_vmexit_handler()
Completed in 5 milliseconds