kernel: Replace struct device* by device_t
[dragonfly.git] / sys / platform / pc64 / include / framebuffer.h
blob375957f93649b503811badc95a482c09ea46c5fc
1 #ifndef _MACHINE_FRAMEBUFFER_H_
2 #define _MACHINE_FRAMEBUFFER_H_
4 #ifdef _KERNEL
6 #include <sys/bus.h>
8 struct fb_info {
9 vm_offset_t vaddr;
10 vm_paddr_t paddr;
11 uint16_t width;
12 uint16_t height;
13 uint16_t stride;
14 uint16_t depth;
15 int is_vga_boot_display;
16 void *cookie;
17 void (*restore)(void *);
18 device_t device;
21 int probe_efi_fb(int early);
23 int register_framebuffer(struct fb_info *fb_info);
25 extern struct fb_info efi_fb_info;
27 #endif /* _KERNEL */
29 #endif /* !_MACHINE_FRAMEBUFFER_H_ */