screen_putc        84 bsp/hal/arm/gba/diag.c screen_putc(char c)
screen_putc        86 bsp/hal/x86/pc/diag.c screen_putc(char c)