BADGE4_GPIO_MUXSEL0  201 arch/arm/mach-sa1100/badge4.c 	GPCR  = BADGE4_GPIO_MUXSEL0;
BADGE4_GPIO_MUXSEL0  202 arch/arm/mach-sa1100/badge4.c 	GPDR |= BADGE4_GPIO_MUXSEL0;