815 static void split_large_ept_entry(unsigned long *ptep, int level)  in split_large_ept_entry()  argument
826 	assert(level == 2 || level == 3);  in split_large_ept_entry()
832 	if (level == 2)  in split_large_ept_entry()
838 		gpa += 1ul << EPT_LEVEL_SHIFT(level - 1);  in split_large_ept_entry()
861 	int level;  in install_ept_entry()  local
868 	for (level = EPT_PAGE_LEVEL; level > pte_level; --level) {  in install_ept_entry()
869 		offset = (guest_addr >> EPT_LEVEL_SHIFT(level))  in install_ept_entry()
881 			split_large_ept_entry(&pt[offset], level);  in install_ept_entry()
884 	offset = (guest_addr >> EPT_LEVEL_SHIFT(level)) & EPT_PGDIR_MASK;  in install_ept_entry()
950 bool get_ept_pte(unsigned long *pml4, unsigned long guest_addr, int level,  in get_ept_pte()  argument
957 	assert(level >= 1 && level <= 4);  in get_ept_pte()
962 		if (l == level)  in get_ept_pte()
1078 		 int level, u64 pte_val)  in set_ept_pte()  argument
1084 	assert(level >= 1 && level <= 4);  in set_ept_pte()
1088 		if (l == level)  in set_ept_pte()