• k_gpio_init() : gpio.c
• k_gpio_read() : gpio.c
• k_gpio_write() : gpio.c
• putchar() : putchar.c
• strnlen() : strnlen.c