Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 3b3faf51c96846a63b04645ed7c2d9d3d6568db0)
+++ kernel/generic/include/typedefs.h	(revision 5cbccd4acbdbb068412b7105503d09315968f2a2)
@@ -61,4 +61,6 @@
 typedef volatile uint32_t ioport32_t;
 
+typedef native_t ptrdiff_t;
+
 #ifdef __32_BITS__