given              61 drivers/pcmcia/sa1111_badge4.c 				     int given, int wanted)
given              69 drivers/pcmcia/sa1111_badge4.c 	       given / 10, given % 10);