40 unsigned long *pml4;  variable
1090 	pml4 = alloc_page();  in setup_ept()
1092 	if (__setup_ept(virt_to_phys(pml4), enable_ad))  in setup_ept()
1101 	setup_ept_range(pml4, 0, end_of_memory, 0,  in setup_ept()
1181 	install_ept(pml4, (unsigned long)data_page1, (unsigned long)data_page2,  in ept_init_common()
1299 					clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page2);  in pml_exit_handler()
1307 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page2);  in pml_exit_handler()
1346 			check_ept_ad(pml4, guest_cr3,  in ept_exit_handler_common()
1350 			check_ept_ad(pml4, guest_cr3,  in ept_exit_handler_common()
1354 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page1);  in ept_exit_handler_common()
1355 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page2);  in ept_exit_handler_common()
1361 				install_ept(pml4, (unsigned long)data_page2,  in ept_exit_handler_common()
1368 			install_ept(pml4, (unsigned long)data_page1,  in ept_exit_handler_common()
1373 			install_ept(pml4, (unsigned long)data_page1,  in ept_exit_handler_common()
1380 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page1);  in ept_exit_handler_common()
1381 			TEST_ASSERT(get_ept_pte(pml4, (unsigned long)data_page1,  in ept_exit_handler_common()
1383 			set_ept_pte(pml4, (unsigned long)data_page1,   in ept_exit_handler_common()
1391 			TEST_ASSERT(get_ept_pte(pml4, guest_pte_addr, 2, &data_page1_pte_pte));  in ept_exit_handler_common()
1392 			set_ept_pte(pml4, guest_pte_addr, 2,  in ept_exit_handler_common()
1397 			install_ept(pml4, (unsigned long)pci_physaddr,  in ept_exit_handler_common()
1419 			install_ept(pml4, (unsigned long)data_page1,  in ept_exit_handler_common()
1442 			check_ept_ad(pml4, guest_cr3, (unsigned long)data_page1, 0,  in ept_exit_handler_common()
1444 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page1);  in ept_exit_handler_common()
1448 			set_ept_pte(pml4, (unsigned long)data_page1,  in ept_exit_handler_common()
1453 			check_ept_ad(pml4, guest_cr3, (unsigned long)data_page1, 0,  in ept_exit_handler_common()
1455 			clear_ept_ad(pml4, guest_cr3, (unsigned long)data_page1);  in ept_exit_handler_common()
1460 			set_ept_pte(pml4, guest_pte_addr, 2,  in ept_exit_handler_common()
1467 			TEST_ASSERT(get_ept_pte(pml4, (unsigned long)pci_physaddr,  in ept_exit_handler_common()
1469 			set_ept_pte(pml4, memaddr_pte, 1, memaddr_pte | EPT_RA);  in ept_exit_handler_common()
1475 			TEST_ASSERT(get_ept_pte(pml4, (unsigned long)pci_physaddr,  in ept_exit_handler_common()
1477 			set_ept_pte(pml4, memaddr_pte, 1, memaddr_pte | EPT_RA | EPT_WA);  in ept_exit_handler_common()
2331 	TEST_ASSERT(get_ept_pte(pml4, gpa, level, &orig_pte));  in ept_twiddle()
2338 	set_ept_pte(pml4, gpa, level, pte);  in ept_twiddle()
2346 	set_ept_pte(pml4, gpa, level, orig_pte);  in ept_untwiddle()
2493 	install_ept(pml4, gpa, gpa, EPT_PRESENT);  in ept_access_paddr()
2506 				TEST_ASSERT(get_ept_pte(pml4, gpa, i, &epte));  in ept_access_paddr()
2782 	TEST_ASSERT(get_ept_pte(pml4, data->gpa, 4, &pte) && pte == 0);  in ept_access_test_setup()
2783 	TEST_ASSERT(get_ept_pte(pml4, data->gpa + size - 1, 4, &pte) && pte == 0);  in ept_access_test_setup()
2784 	install_ept(pml4, data->hpa, data->gpa, EPT_PRESENT);  in ept_access_test_setup()