debug_get_uint   1245 arch/s390/kernel/debug.c 	new_pages = debug_get_uint(str);
debug_get_uint   1304 arch/s390/kernel/debug.c 		new_level = debug_get_uint(str);