Lines Matching full:ept
25 * L1. For usage of EPT, only 1:1 mapped paging is used from VFN
810 /* EPT paging structure related functions */
848 /* install_ept_entry : Install a page to a given level in EPT
865 /* EPT only uses 48 bits of GPA. */ in install_ept_entry()
917 /* setup_ept_range : Setup a range of 1:1 mapped page to EPT paging structure.
948 /* get_ept_pte : Get the PTE of a given level in EPT,
993 /* clear_ept_ad : Clear EPT A/D bits for the page table walk and the
1021 /* check_ept_ad : Check the content of EPT A/D bits for the page table
1037 printf("EPT - guest level %d page table is not mapped.\n", l); in check_ept_ad()
1044 report_fail("EPT - guest level %d page table A=%d/D=%d", in check_ept_ad()
1059 report_pass("EPT - guest page table structures A=%d/D=%d", in check_ept_ad()
1068 report_fail("EPT - guest physical address is not mapped"); in check_ept_ad()
1072 "EPT - guest physical address A=%d/D=%d", in check_ept_ad()