--- ivtvhw.c.orig	2006-07-07 15:21:37.000000000 +0200
+++ ivtvhw.c	2006-07-07 15:22:44.000000000 +0200
@@ -15,7 +15,8 @@
 
 #include "fbpriv.h"
 
-#include "asm/page.h"		/* #define for PAGE_* */
+#include "bits/types.h"               /* #define for PAGE_* */
+#include "sys/user.h"                 /* #define for PAGE_* */
 #include "globals.h"
 #define DPMS_SERVER
 #include "extensions/dpms.h"