const char * reason = NULL; 
const char *reason = NULL; 
static int check_header(void){	const char * reason = NULL;	int error;	if ((error = bio_read_page(swp_offset(swsusp_header.swsusp_info), &swsusp_info)))		return error; 	/* Is this same machine? */	if ((reason = sanity_check())) {		printk(KERN_ERR "swsusp: Resume mismatch: %s\n",reason);		return -EPERM;	}	nr_copy_pages = swsusp_info.image_pages;	return error;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dc19d507b17135069d9c5d6093d4458dc60e1861/swsusp.c/buggy/kernel/power/swsusp.c