boot_framebuffer_t
boot_framebuffer_t *xbi_fb;
xbi_fb = (boot_framebuffer_t *)(uintptr_t)xbi->bi_framebuffer;
static boot_framebuffer_t framebuffer __aligned(16);
static boot_framebuffer_t *fb;