• CHECK_BIT : pins.h
• CHECK_SET_BIT : pins.h
• K_BUTTON_0 : pins.h
• K_LED_0 : pins.h
• K_LED_1 : pins.h
• K_LED_2 : pins.h
• K_LED_3 : pins.h
• K_LED_BLUE : pins.h
• K_LED_COUNT : pins.h
• K_LED_GREEN : pins.h
• K_LED_ORANGE : pins.h
• K_LED_RED : pins.h
• K_NUM_PINS : pins.h
• SBRK_ALIGN : syscalls.c
• SBRK_INC_MIN : syscalls.c
• STM32F4_PIN_AHB1ENR_BIT : pins.h
• STM32F4_PIN_GPIO : pins.h
• STM32F4_PIN_MASK : pins.h
• STM32F4_PIN_OFFSET : pins.h
• WEAK : stubs.c