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