Searched refs:vmcs_read64 (Results 1 – 1 of 1) sorted by relevance
1398 static __always_inline u64 vmcs_read64(unsigned long field) in vmcs_read64() function2258 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2272 vmcs_read64(TSC_OFFSET); in vmx_read_l1_tsc()2294 return vmcs_read64(TSC_OFFSET); in vmx_read_tsc_offset()2318 vmcs_read64(TSC_OFFSET), offset); in vmx_write_tsc_offset()2325 u64 offset = vmcs_read64(TSC_OFFSET); in vmx_adjust_tsc_offset()2683 data = vmcs_read64(GUEST_BNDCFGS); in vmx_get_msr()3523 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()3524 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()3525 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()[all …]