diff -dur mine-0.19/gasgui.c mine-0.19-patch/gasgui.c
--- mine-0.19/gasgui.c	2004-04-24 11:49:52.000000000 +0000
+++ mine-0.19-patch/gasgui.c	2004-10-24 04:48:29.717547752 +0000
@@ -27,6 +27,19 @@
 /* disk eject ... */
 #include <fcntl.h>
 #include <sys/ioctl.h>
+
+#ifdef __CHECKER__
+#define __bitwise __attribute__((bitwise))
+#else
+#define __bitwise
+#endif
+#define __le16 __bitwise __u16
+#define __be16 __bitwise __u16
+#define __le32 __bitwise __u32
+#define __be32 __bitwise __u32
+#define __le64 __bitwise __u64
+#define __be64 __bitwise __u64
+
 #include <linux/cdrom.h>
 
 #ifndef ROCKCFG_ID