Searched refs:eptp (Results 1 – 3 of 3) sorted by relevance
320 uint64_t eptp; /* cached EPTP (used by vmm) */ member
1683 vcpu->vc_parent->vm_map->pmap->eptp = 0; in vcpu_reset_regs_svm()2501 uint64_t msr, eptp; in vcpu_init_vmx() local2604 eptp = vcpu->vc_parent->vm_map->pmap->pm_pdirpa; in vcpu_init_vmx()2608 eptp |= ((IA32_EPT_PAGE_WALK_LENGTH - 1) << 3); in vcpu_init_vmx()2616 eptp |= IA32_EPT_PAGING_CACHE_TYPE_WB; in vcpu_init_vmx()2621 DPRINTF("Guest EPTP = 0x%llx\n", eptp); in vcpu_init_vmx()2622 if (vmwrite(VMCS_GUEST_IA32_EPTP, eptp)) { in vcpu_init_vmx()2628 vcpu->vc_parent->vm_map->pmap->eptp = eptp; in vcpu_init_vmx()3678 vid_ept.vid_eptp = vcpu->vc_parent->vm_map->pmap->eptp; in vcpu_run_vmx()
1371 pmap->eptp = 0; in pmap_create()3400 ept_shoot_vid.vid_eptp = pm->eptp; in pmap_shootept()3414 vid.vid_eptp = pm->eptp; in pmap_shootept()3509 vid.vid_eptp = pm->eptp; in pmap_shootept()