machine_is_badge4  174 arch/arm/mach-sa1100/badge4.c 	if (!machine_is_badge4())
machine_is_badge4  217 drivers/pcmcia/sa1111_generic.c 	if (machine_is_badge4())
machine_is_badge4  131 drivers/usb/host/ohci-sa1111.c 	    machine_is_badge4())