Searched refs:VMCS_IDT_VECTORING_INFO (Results 1 – 2 of 2) sorted by relevance
130 #define VMCS_IDT_VECTORING_INFO 0x00004408 macro
447 uint64_t idtvec_info = rvmcs(cpu->accel->fd, VMCS_IDT_VECTORING_INFO); in hvf_vcpu_exec()652 uint64_t vinfo = rvmcs(cpu->accel->fd, VMCS_IDT_VECTORING_INFO); in hvf_vcpu_exec()