--- ./irattach/dongle_attach.c	2002-06-23 20:09:31.000000000 +0000
+++ ./irattach/dongle_attach.c	2004-10-27 19:06:50.718390704 +0000
@@ -38,6 +38,19 @@
 #include <signal.h>
 #include <string.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 <asm/byteorder.h>
 
 #include <net/if.h>
--- ./irdaping/irdaping.c	2003-07-08 01:33:39.000000000 +0000
+++ ./irdaping/irdaping.c	2004-10-27 19:07:13.140981952 +0000
@@ -32,6 +32,18 @@
 #include <signal.h>
 #include <string.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 <asm/byteorder.h>
 
 /* 
--- ./tekram/irkbd.c	2000-11-06 21:13:52.000000000 +0000
+++ ./tekram/irkbd.c	2004-10-27 19:05:01.285027104 +0000
@@ -45,6 +45,18 @@
 
 #include <irda.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 <asm/byteorder.h>
 
 #include "irkbd.h"