Index: boot/arch/riscv64/include/types.h
===================================================================
--- boot/arch/riscv64/include/types.h	(revision 8b6aa3923668ec2fbb91e100c43265f2f32fe31c)
+++ boot/arch/riscv64/include/types.h	(revision 4b583f4c93e98921f30c1663cc83ccd84e0a624c)
@@ -37,4 +37,6 @@
 typedef uint64_t uintptr_t;
 
+typedef int64_t ptrdiff_t;
+
 typedef struct {
 	void *start;