set_pages_rw     1112 arch/x86/mm/init_32.c 	set_pages_rw(virt_to_page(start), size>>PAGE_SHIFT);
set_pages_rw     1128 arch/x86/mm/init_32.c 	set_pages_rw(virt_to_page(start), size >> PAGE_SHIFT);