855 void install_ept_entry(unsigned long *pml4,  in install_ept_entry()  argument
862 	unsigned long *pt = pml4;  in install_ept_entry()
889 void install_ept(unsigned long *pml4,  in install_ept()  argument
894 	install_ept_entry(pml4, 1, guest_addr, (phys & PAGE_MASK) | perm, 0);  in install_ept()
898 void install_1g_ept(unsigned long *pml4,  in install_1g_ept()  argument
903 	install_ept_entry(pml4, 3, guest_addr,  in install_1g_ept()
908 void install_2m_ept(unsigned long *pml4,  in install_2m_ept()  argument
913 	install_ept_entry(pml4, 2, guest_addr,  in install_2m_ept()
924 void setup_ept_range(unsigned long *pml4, unsigned long start,  in setup_ept_range()  argument
932 			install_1g_ept(pml4, phys, phys, perm);  in setup_ept_range()
938 			install_2m_ept(pml4, phys, phys, perm);  in setup_ept_range()
943 		install_ept(pml4, phys, phys, perm);  in setup_ept_range()
950 bool get_ept_pte(unsigned long *pml4, unsigned long guest_addr, int level,  in get_ept_pte()  argument
954 	unsigned long *pt = pml4, iter_pte;  in get_ept_pte()
976 static void clear_ept_ad_pte(unsigned long *pml4, unsigned long guest_addr)  in clear_ept_ad_pte()  argument
979 	unsigned long *pt = pml4;  in clear_ept_ad_pte()
995 void clear_ept_ad(unsigned long *pml4, u64 guest_cr3,  in clear_ept_ad()  argument
1006 		clear_ept_ad_pte(pml4, (u64) &pt[offset]);  in clear_ept_ad()
1018 	clear_ept_ad_pte(pml4, gpa);  in clear_ept_ad()
1023 void check_ept_ad(unsigned long *pml4, u64 guest_cr3,  in check_ept_ad()  argument
1036 		if (!get_ept_pte(pml4, (u64) &pt[offset], 1, &ept_pte)) {  in check_ept_ad()
1067 	if (!get_ept_pte(pml4, gpa, 1, &ept_pte)) {  in check_ept_ad()
1077 void set_ept_pte(unsigned long *pml4, unsigned long guest_addr,  in set_ept_pte()  argument
1081 	unsigned long *pt = pml4;  in set_ept_pte()