vmi_check_page_type  353 arch/x86/kernel/vmi_32.c static void vmi_check_page_type(u32 pfn, int type)
vmi_check_page_type  369 arch/x86/kernel/vmi_32.c #define vmi_check_page_type(p,t) do { } while (0)