Searched refs:pdptrs (Results 1 – 2 of 2) sorted by relevance
170 __u64 pdptrs[4]; member
3409 vmcs_write64(GUEST_PDPTR0, vcpu->arch.pdptrs[0]); in vmx_ept_load_pdptrs()3410 vmcs_write64(GUEST_PDPTR1, vcpu->arch.pdptrs[1]); in vmx_ept_load_pdptrs()3411 vmcs_write64(GUEST_PDPTR2, vcpu->arch.pdptrs[2]); in vmx_ept_load_pdptrs()3412 vmcs_write64(GUEST_PDPTR3, vcpu->arch.pdptrs[3]); in vmx_ept_load_pdptrs()3421 vcpu->arch.pdptrs[0] = vmcs_read64(GUEST_PDPTR0); in ept_save_pdptrs()3422 vcpu->arch.pdptrs[1] = vmcs_read64(GUEST_PDPTR1); in ept_save_pdptrs()3423 vcpu->arch.pdptrs[2] = vmcs_read64(GUEST_PDPTR2); in ept_save_pdptrs()3424 vcpu->arch.pdptrs[3] = vmcs_read64(GUEST_PDPTR3); in ept_save_pdptrs()