static inline int sx_paranoia_check(struct specialix_port const * port,				    char *name, const char *routine){#ifdef SPECIALIX_PARANOIA_CHECK	static const char *badmagic =		KERN_ERR "sx: Warning: bad specialix port magic number for device %s in %s\n";	static const char *badinfo =		KERN_ERR "sx: Warning: null specialix port for device %s in %s\n"; 	if (!port) {		printk(badinfo, name, routine);		return 1;	}	if (port->magic != SPECIALIX_MAGIC) {		printk(badmagic, name, routine);		return 1;	}#endif	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d61780c0d384939ef31c46b47442854d5def4623/specialix.c/buggy/drivers/char/specialix.c