set_memory_rw    1155 arch/x86/mm/init_32.c 	set_memory_rw(begin, (end - begin) >> PAGE_SHIFT);
set_memory_rw     989 arch/x86/mm/init_64.c 	set_memory_rw(start, (end-start) >> PAGE_SHIFT);
set_memory_rw    1046 arch/x86/mm/pageattr.c 	return set_memory_rw(addr, numpages);