Lines Matching refs:vmcs_read
464 report(vmcs_read(TSC_OFFSET) == 0x0123456789ABCDEFull, in test_vmcs_high()
466 report(vmcs_read(TSC_OFFSET_HI) == 0x01234567ull, in test_vmcs_high()
469 report(vmcs_read(TSC_OFFSET_HI) == 0x76543210ul, in test_vmcs_high()
471 report(vmcs_read(TSC_OFFSET) == 0x7654321089ABCDEFull, in test_vmcs_high()
656 ulong exit_qual = vmcs_read(EXI_QUALIFICATION); in print_vmexit_info()
657 guest_rip = vmcs_read(GUEST_RIP); in print_vmexit_info()
658 guest_rsp = vmcs_read(GUEST_RSP); in print_vmexit_info()
687 vmcs_read(VMX_INST_ERROR)); in print_vmentry_failure_info()
693 u64 qual = vmcs_read(EXI_QUALIFICATION); in print_vmentry_failure_info()
1553 report(vmcs_read(VMX_INST_ERROR) == VMXERR_VMPTRLD_VMXON_POINTER, in test_vmptrld()
1735 regs.rflags = vmcs_read(GUEST_RFLAGS); in exit_handler()
1784 vmcs_read(EXI_REASON); in vmx_enter_guest()
2021 report(vmcs_read(VMX_INST_ERROR) == VMXERR_ENTRY_INVALID_CONTROL_FIELD, in enter_guest_with_bad_controls()