Searched refs:IDT_VECTORING_INFO (Results 1 – 4 of 4) sorted by relevance
456 IDT_VECTORING_INFO = 0x00004408, enumerator
954 IDT_VECTORING_INFO,2398 __vmread(IDT_VECTORING_INFO, &idtv_info); in nvmx_idtv_handling()
2075 vmr32(IDT_VECTORING_INFO), vmr32(IDT_VECTORING_ERROR_CODE)); in vmcs_dump_vcpu()
3823 __vmread(IDT_VECTORING_INFO, &idtv_info); in vmx_vmexit_handler()
Completed in 33 milliseconds