--- linux-RT.mich/kernel/rt.c.orig	2005-06-28 17:20:18.000000000 +0200
+++ linux-RT.mich/kernel/rt.c	2005-06-28 17:14:19.000000000 +0200
@@ -2088,6 +2088,7 @@ void check_raw_flags(unsigned long flags
 		}
 	}
 }
+EXPORT_SYMBOL(check_raw_flags);
 
 static void check_soft_flags(unsigned long flags)
 {