Index: boot/arch/mips32/include/types.h
===================================================================
--- boot/arch/mips32/include/types.h	(revision a4f959bed0f870295acc7733e8b16c8db3262c58)
+++ boot/arch/mips32/include/types.h	(revision 39f892a96bc81bea824b6a8cba0f953a4e2a783d)
@@ -37,4 +37,6 @@
 typedef uint32_t uintptr_t;
 
+typedef int32_t ptrdiff_t;
+
 typedef struct {
 	/** Address where the task was placed. */