Searched refs:IDT_VECTORING_ERROR_CODE (Results 1 – 2 of 2) sorted by relevance
224 IDT_VECTORING_ERROR_CODE = 0x0000440a, enumerator
644 IDT_VECTORING_ERROR_CODE,756 FIELD(IDT_VECTORING_ERROR_CODE, idt_vectoring_error_code),5843 vmcs_read32(IDT_VECTORING_ERROR_CODE); in handle_task_switch()8043 vmcs_read32(IDT_VECTORING_ERROR_CODE)); in dump_vmcs()8496 IDT_VECTORING_ERROR_CODE); in vmx_complete_interrupts()