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