BADGE4_GPIO_UART_HS1  197 arch/arm/mach-sa1100/badge4.c 	GPCR  = (BADGE4_GPIO_UART_HS1 | BADGE4_GPIO_UART_HS2);
BADGE4_GPIO_UART_HS1  198 arch/arm/mach-sa1100/badge4.c 	GPDR |= (BADGE4_GPIO_UART_HS1 | BADGE4_GPIO_UART_HS2);