Searched refs:IDT_VECTORING_INFO_FIELD (Results 1 – 7 of 7) sorted by relevance
44 SHADOW_FIELD_RO(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field)
89 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
370 EVMCS1_FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field,
6380 vmcs_read32(IDT_VECTORING_INFO_FIELD), in dump_vmcs()7272 vmx->idt_vectoring_info = vmcs_read32(IDT_VECTORING_INFO_FIELD); in vmx_vcpu_enter_exit()
218 IDT_VECTORING_INFO_FIELD = 0x00004408, enumerator
582 case IDT_VECTORING_INFO_FIELD: in evmcs_vmread()1081 case IDT_VECTORING_INFO_FIELD: in evmcs_vmwrite()
291 IDT_VECTORING_INFO_FIELD = 0x00004408, enumerator