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)