Searched refs:vmcs_read64 (Results 1 – 1 of 1) sorted by relevance
1472 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function2403 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2417 vmcs_read64(TSC_OFFSET); in vmx_read_l1_tsc()2423 return vmcs_read64(TSC_OFFSET); in vmx_read_tsc_offset()2447 vmcs_read64(TSC_OFFSET), offset); in vmx_write_tsc_offset()2454 u64 offset = vmcs_read64(TSC_OFFSET); in vmx_adjust_tsc_offset_guest()2817 msr_info->data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()3665 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()3666 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()3667 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()[all …]