Searched defs:idtvec_info (Results 1 – 1 of 1) sorted by relevance
341 static void hvf_store_events(CPUState *cpu, uint32_t ins_len, uint64_t idtvec_info) in hvf_store_events()474 uint64_t idtvec_info = rvmcs(cpu->accel->fd, VMCS_IDT_VECTORING_INFO); in hvf_vcpu_exec() local