Searched refs:vector_info (Results 1 – 1 of 1) sorted by relevance
229 uint32_t vector_info = vcpu->arch.idt_vectoring_info; in vmexit_handler() local230 uint32_t vector = vector_info & 0xffU; in vmexit_handler()231 uint32_t type = (vector_info & VMX_INT_TYPE_MASK) >> 8U; in vmexit_handler()235 if ((vector_info & VMX_INT_INFO_ERR_CODE_VALID) != 0U) { in vmexit_handler()
Completed in 5 milliseconds