107 #define LED_RED1_INIT(output)                                            \  argument
108     GPIO_PinWrite(BOARD_LED_RED1_GPIO, BOARD_LED_RED1_GPIO_PIN, output); \
119 #define LED_GREEN1_INIT(output)                                              \  argument
120     GPIO_PinWrite(BOARD_LED_GREEN1_GPIO, BOARD_LED_GREEN1_GPIO_PIN, output); \
129 #define LED_YELLOW_INIT(output)                                              \  argument
130     GPIO_PinWrite(BOARD_LED_YELLOW_GPIO, BOARD_LED_YELLOW_GPIO_PIN, output); \
139 #define LED_ORANGE_INIT(output)                                              \  argument
140     GPIO_PinWrite(BOARD_LED_ORANGE_GPIO, BOARD_LED_ORANGE_GPIO_PIN, output); \
149 #define LED_RED2_INIT(output)                                            \  argument
150     GPIO_PinWrite(BOARD_LED_RED2_GPIO, BOARD_LED_RED2_GPIO_PIN, output); \
161 #define LED_GREEN2_INIT(output)                                              \  argument
162     GPIO_PinWrite(BOARD_LED_GREEN2_GPIO, BOARD_LED_GREEN2_GPIO_PIN, output); \
171 #define LED_BLUE_INIT(output)                                            \  argument
172     GPIO_PinWrite(BOARD_LED_BLUE_GPIO, BOARD_LED_BLUE_GPIO_PIN, output); \