sys/amd64/vmm/intel/vmx.c

1446

info = vmcs_read(VMCS_ENTRY_INTR_INFO);

sys/amd64/vmm/intel/vmx.c

1455

vmcs_write(VMCS_ENTRY_INTR_INFO, info);

sys/amd64/vmm/intel/vmx.c

1490

info = vmcs_read(VMCS_ENTRY_INTR_INFO);

sys/amd64/vmm/intel/vmx.c

1508

vmcs_write(VMCS_ENTRY_INTR_INFO, info);

sys/amd64/vmm/intel/vmx.c

1526

info = vmcs_read(VMCS_ENTRY_INTR_INFO);

sys/amd64/vmm/intel/vmx.c

1603

info = vmcs_read(VMCS_ENTRY_INTR_INFO);

sys/amd64/vmm/intel/vmx.c

1620

vmcs_write(VMCS_ENTRY_INTR_INFO, info);

usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c

897

error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_INTR_INFO,&u64);