static inline void pcmcia_check_driver(struct pcmcia_driver *p_drv) { 
static void pcmcia_check_driver(struct pcmcia_driver *p_drv) { struct pcmcia_device_id *did = p_drv->id_table; unsigned int i; u32 hash;  while (did && did->match_flags) { for (i=0; i<4; i++) { if (!did->prod_id[i]) continue;  hash = crc32(0, did->prod_id[i], strlen(did->prod_id[i])); if (hash == did->prod_id_hash[i]) continue;  printk(KERN_DEBUG "pcmcia: %s: invalid hash for " "product string \"%s\": is 0x%x, should " "be 0x%x\n", p_drv->drv.name, did->prod_id[i], did->prod_id_hash[i], hash); printk(KERN_DEBUG "pcmcia: see " "Documentation/pcmcia/devicetable.txt for " "details\n"); } did++; }  
static inline void pcmcia_check_driver(struct pcmcia_driver *p_drv) {	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/5085cb26503a662a5cfdf53ce96fd606c1fbe9ba/ds.c/buggy/drivers/pcmcia/ds.c