863 	unsigned offset;  in install_ept_entry()  local
869 		offset = (guest_addr >> EPT_LEVEL_SHIFT(level))  in install_ept_entry()
871 		if (!(pt[offset] & (EPT_PRESENT))) {  in install_ept_entry()
878 			pt[offset] = virt_to_phys(new_pt)  in install_ept_entry()
880 		} else if (pt[offset] & EPT_LARGE_PAGE)  in install_ept_entry()
881 			split_large_ept_entry(&pt[offset], level);  in install_ept_entry()
882 		pt = phys_to_virt(pt[offset] & EPT_ADDR_MASK);  in install_ept_entry()
884 	offset = (guest_addr >> EPT_LEVEL_SHIFT(level)) & EPT_PGDIR_MASK;  in install_ept_entry()
885 	pt[offset] = pte;  in install_ept_entry()
955 	unsigned offset;  in get_ept_pte()  local
960 		offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in get_ept_pte()
961 		iter_pte = pt[offset];  in get_ept_pte()
970 	offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in get_ept_pte()
972 		*pte = pt[offset];  in get_ept_pte()
981 	unsigned offset;  in clear_ept_ad_pte()  local
984 		offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in clear_ept_ad_pte()
985 		pt[offset] &= ~(EPT_ACCESS_FLAG|EPT_DIRTY_FLAG);  in clear_ept_ad_pte()
986 		pte = pt[offset];  in clear_ept_ad_pte()
1001 	unsigned offset;  in clear_ept_ad()  local
1004 		offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in clear_ept_ad()
1006 		clear_ept_ad_pte(pml4, (u64) &pt[offset]);  in clear_ept_ad()
1007 		pte = pt[offset];  in clear_ept_ad()
1015 	offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in clear_ept_ad()
1017 	gpa = (pt[offset] & PT_ADDR_MASK) | (guest_addr & offset_in_page);  in clear_ept_ad()
1030 	unsigned offset;  in check_ept_ad()  local
1034 		offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in check_ept_ad()
1036 		if (!get_ept_pte(pml4, (u64) &pt[offset], 1, &ept_pte)) {  in check_ept_ad()
1050 		pte = pt[offset];  in check_ept_ad()
1063 	offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in check_ept_ad()
1065 	gpa = (pt[offset] & PT_ADDR_MASK) | (guest_addr & offset_in_page);  in check_ept_ad()
1082 	unsigned offset;  in set_ept_pte()  local
1087 		offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in set_ept_pte()
1090 		assert(pt[offset] & EPT_PRESENT);  in set_ept_pte()
1091 		pt = (unsigned long *)(pt[offset] & EPT_ADDR_MASK);  in set_ept_pte()
1093 	offset = (guest_addr >> EPT_LEVEL_SHIFT(l)) & EPT_PGDIR_MASK;  in set_ept_pte()
1094 	pt[offset] = pte_val;  in set_ept_pte()