set_memory_ro     977 arch/x86/mm/init_64.c 	set_memory_ro(start, (end - start) >> PAGE_SHIFT);
set_memory_ro     992 arch/x86/mm/init_64.c 	set_memory_ro(start, (end-start) >> PAGE_SHIFT);
set_memory_ro    1039 arch/x86/mm/pageattr.c 	return set_memory_ro(addr, numpages);