switch-coreboot/util/vgabios/include/console
..
console.h