Searched refs:exec_vmread64 (Results 1 – 10 of 10) sorted by relevance
149 uint64_t exec_vmread64(uint32_t field_full) in exec_vmread64() function166 value = exec_vmread64(field); in exec_vmread32()175 value = exec_vmread64(field); in exec_vmread16()
451 uint64_t exec_vmread64(uint32_t field_full);452 #define exec_vmread exec_vmread64
110 gpa = exec_vmread64(VMX_GUEST_PHYSICAL_ADDR_FULL); in ept_violation_vmexit_handler()
119 ext_ctx->ia32_debugctl = exec_vmread64(VMX_GUEST_IA32_DEBUGCTL_FULL); in save_world_ctx()129 ext_ctx->ia32_pat = exec_vmread64(VMX_GUEST_IA32_PAT_FULL); in save_world_ctx()
945 tsc_offset_delta = tsc_delta - exec_vmread64(VMX_TSC_OFFSET_FULL); in set_guest_tsc()997 tsc_offset = exec_vmread64(VMX_TSC_OFFSET_FULL); in set_guest_tsc_adjust()1416 set_tsc_msr_interception(vcpu, exec_vmread64(VMX_TSC_OFFSET_FULL) != 0UL); in update_msr_bitmap_x2apic_passthru()
95 tsc = rdtsc() + exec_vmread64(VMX_TSC_OFFSET_FULL); in hyperv_scale_tsc()
298 __func__, exec_vmread64(VMX_GUEST_PHYSICAL_ADDR_FULL)); in ept_misconfig_vmexit_handler()
407 val -= exec_vmread64(VMX_TSC_OFFSET_FULL); in vlapic_set_tsc_deadline_msr()423 val -= exec_vmread64(VMX_TSC_OFFSET_FULL); in vlapic_set_tsc_deadline_msr()
451 reg_val = exec_vmread64(field); in vm_get_register()
144 = exec_vmread64(VMX_GUEST_IA32_DEBUGCTL_FULL); in profiling_enable_pmu()1335 = exec_vmread64(VMX_GUEST_CS_SEL); in profiling_pre_vmexit_handler()
Completed in 24 milliseconds