stand/boot/efi/loader/arch/x86_64/framebuffer.h
sys/platform/pc64/include/framebuffer.h