kernel: Replace struct device* by device_t
[dragonfly.git] / sys / platform / pc64 / include / framebuffer.h
1 #ifndef _MACHINE_FRAMEBUFFER_H_
2 #define _MACHINE_FRAMEBUFFER_H_
3
4 #ifdef _KERNEL
5
6 #include <sys/bus.h>
7
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;
19 };
20
21 int probe_efi_fb(int early);
22
23 int register_framebuffer(struct fb_info *fb_info);
24
25 extern struct fb_info efi_fb_info;
26
27 #endif  /* _KERNEL */
28
29 #endif /* !_MACHINE_FRAMEBUFFER_H_ */