set_pages_ro     1105 arch/x86/mm/init_32.c 	set_pages_ro(virt_to_page(start), size >> PAGE_SHIFT);
set_pages_ro     1115 arch/x86/mm/init_32.c 	set_pages_ro(virt_to_page(start), size>>PAGE_SHIFT);
set_pages_ro     1121 arch/x86/mm/init_32.c 	set_pages_ro(virt_to_page(start), size >> PAGE_SHIFT);
set_pages_ro     1131 arch/x86/mm/init_32.c 	set_pages_ro(virt_to_page(start), size >> PAGE_SHIFT);