badge4.h   35 arch/arm/mach-sa1100/badge4.c #include <mach/badge4.h>
badge4.h   19 drivers/pcmcia/sa1111_badge4.c #include <mach/badge4.h>