Searched refs:IDT_VECTORING_INFO_FIELD (Results 1 – 2 of 2) sorted by relevance
169 IDT_VECTORING_INFO_FIELD = 0x00004408, enumerator
4131 vmx->idt_vectoring_info = vmcs_read32(IDT_VECTORING_INFO_FIELD); in vmx_vcpu_run()