__kernel_map_pages
__kernel_map_pages(page, 1, !protect);
void __kernel_map_pages(struct page *page, int numpages, int enable);
__kernel_map_pages(virt_to_page((void *)addr), 1, !protect);
extern void __kernel_map_pages(struct page *page, int numpages, int enable);
__kernel_map_pages(page, numpages, 1);
__kernel_map_pages(page, numpages, 0);