]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/fb-drv/server/src/splash.h
update
[l4.git] / l4 / pkg / fb-drv / server / src / splash.h
index cf200a008fe9daf5940b32f832096d5fa54775d2..61fcfc46cad4792c265e4c98e8426c6b0aec19cb 100644 (file)
@@ -11,4 +11,4 @@
 #include <l4/sys/types.h>
 #include <l4/re/video/goos>
 
-void splash_display(L4Re::Video::Goos::Info *fb_info, l4_addr_t fbaddr);
+void splash_display(L4Re::Video::View::Info *fb_info, l4_addr_t fbaddr);