Lines Matching refs:vmcs_read64
1942 msr_info->data = vmcs_read64(GUEST_BNDCFGS);
3063 mmu->pdptrs[0] = vmcs_read64(GUEST_PDPTR0);
3064 mmu->pdptrs[1] = vmcs_read64(GUEST_PDPTR1);
3065 mmu->pdptrs[2] = vmcs_read64(GUEST_PDPTR2);
3066 mmu->pdptrs[3] = vmcs_read64(GUEST_PDPTR3);
5474 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS);
5519 gpa = vmcs_read64(GUEST_PHYSICAL_ADDRESS);
5957 vmcs_read64(GUEST_PDPTR0), vmcs_read64(GUEST_PDPTR1));
5959 vmcs_read64(GUEST_PDPTR2), vmcs_read64(GUEST_PDPTR3));
5981 vmcs_read64(GUEST_IA32_EFER),
5982 vmcs_read64(GUEST_IA32_PAT));
5984 vmcs_read64(GUEST_IA32_DEBUGCTL),
5989 vmcs_read64(GUEST_IA32_PERF_GLOBAL_CTRL));
5991 pr_err("BndCfgS = 0x%016llx\n", vmcs_read64(GUEST_BNDCFGS));
6021 vmcs_read64(HOST_IA32_EFER),
6022 vmcs_read64(HOST_IA32_PAT));
6026 vmcs_read64(HOST_IA32_PERF_GLOBAL_CTRL));
6049 pr_err("TSC Offset = 0x%016llx\n", vmcs_read64(TSC_OFFSET));
6052 vmcs_read64(TSC_MULTIPLIER));
6060 pr_err("APIC-access addr = 0x%016llx ", vmcs_read64(APIC_ACCESS_ADDR));
6061 pr_cont("virt-APIC addr = 0x%016llx\n", vmcs_read64(VIRTUAL_APIC_PAGE_ADDR));
6066 pr_err("EPT pointer = 0x%016llx\n", vmcs_read64(EPT_POINTER));
6166 vmcs_read64(GUEST_PHYSICAL_ADDRESS);