kernel: add a type to represent boot modules

include/mango/types.h

@@ -1,14 +1,22 @@
 #ifndef MANGO_TYPES_H_
 #define MANGO_TYPES_H_
 
+#include <stddef.h>
 #include <stdint.h>
 
 #define CYCLES_MAX UINT64_MAX
 
 typedef uintptr_t phys_addr_t;
+typedef uintptr_t virt_addr_t;
 typedef uint64_t cycles_t;
 typedef uint64_t sectors_t;
+typedef uint64_t off_t;
 
 typedef unsigned int umode_t;
 
+struct boot_module {
+	phys_addr_t mod_base;
+	size_t mod_size;
+};
+
 #endif