#endif 
static const char * sanity_check(void){	dump_info();	if(swsusp_info.version_code != LINUX_VERSION_CODE)		return "kernel version";	if(swsusp_info.num_physpages != num_physpages)		return "memory size";	if (strcmp(swsusp_info.uts.sysname,system_utsname.sysname))		return "system type";	if (strcmp(swsusp_info.uts.release,system_utsname.release))		return "kernel release";	if (strcmp(swsusp_info.uts.version,system_utsname.version))		return "version";	if (strcmp(swsusp_info.uts.machine,system_utsname.machine))		return "machine";	if(swsusp_info.cpus != num_online_cpus())		return "number of cpus";	return NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5a72e04df5470df0ec646029d31e5528167ab1a7/swsusp.c/clean/kernel/power/swsusp.c