Home
last modified time | relevance | path

Searched refs:IDT_VECTORING_INFO_FIELD (Results 1 – 2 of 2) sorted by relevance

/arch/x86/include/asm/
Dvmx.h173 IDT_VECTORING_INFO_FIELD = 0x00004408, enumerator
/arch/x86/kvm/
Dvmx.c500 FIELD(IDT_VECTORING_INFO_FIELD, idt_vectoring_info_field),
6252 vmx->idt_vectoring_info = vmcs_read32(IDT_VECTORING_INFO_FIELD); in vmx_vcpu_run()
6931 vmcs_read32(IDT_VECTORING_INFO_FIELD);