usr/src/boot/efi/loader/framebuffer.h
usr/src/uts/i86pc/sys/framebuffer.h