VMCS_IDT_VEC_VALID
if (idtvec_info & VMCS_IDT_VEC_VALID) {
KASSERT(idtvec_info & VMCS_IDT_VEC_VALID,
if ((idtvec_info & VMCS_IDT_VEC_VALID) == 0 &&