Searched refs:vmcs_read (Results 1 – 3 of 3) sorted by relevance
65 return (u32 *)phys_to_virt(vmcs_read(APIC_VIRT_ADDR)); in get_vapic_page()70 return (u64 *)phys_to_virt(vmcs_read(POSTED_INTR_DESC_ADDR)); in get_pi_desc()105 u64 guest_rip = vmcs_read(GUEST_RIP); in vmenter_exit_handler()134 vmcs_write(PIN_CONTROLS, vmcs_read(PIN_CONTROLS) | PIN_PREEMPT); in preemption_timer_init()176 guest_rip = vmcs_read(GUEST_RIP); in preemption_timer_exit_handler()177 insn_len = vmcs_read(EXI_INST_LEN); in preemption_timer_exit_handler()190 (vmcs_read(GUEST_ACTV_STATE) == ACTV_HLT); in preemption_timer_exit_handler()196 vmcs_read(PIN_CONTROLS) & ~PIN_PREEMPT); in preemption_timer_exit_handler()198 vmcs_read(EXI_CONTROLS) & ~EXI_SAVE_PREEMPT); in preemption_timer_exit_handler()215 report(vmcs_read(PREEMPT_TIMER_VALUE) == preempt_val, in preemption_timer_exit_handler()[all …]
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()[all …]
909 static inline u64 vmcs_read(enum Encoding enc) in vmcs_read() function957 return vmcs_write(enc, vmcs_read(enc) | val); in vmcs_set_bits()962 return vmcs_write(enc, vmcs_read(enc) & ~val); in vmcs_clear_bits()