vmi_check_page_type  416 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(clonepfn, VMI_PAGE_L2);
vmi_check_page_type  453 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE);
vmi_check_page_type  459 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE);
vmi_check_page_type  466 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE | VMI_PAGE_PD);
vmi_check_page_type  472 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE);
vmi_check_page_type  480 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(pmdp) >> PAGE_SHIFT, VMI_PAGE_PMD);
vmi_check_page_type  483 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(pmdp) >> PAGE_SHIFT, VMI_PAGE_PGD);
vmi_check_page_type  505 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE);
vmi_check_page_type  513 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(pudp) >> PAGE_SHIFT, VMI_PAGE_PGD);
vmi_check_page_type  520 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(ptep) >> PAGE_SHIFT, VMI_PAGE_PTE);
vmi_check_page_type  527 arch/x86/kernel/vmi_32.c 	vmi_check_page_type(__pa(pmd) >> PAGE_SHIFT, VMI_PAGE_PMD);