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);