kernel: add a temporary syscall dispatch system

2026-02-08 13:12:24 +00:00
parent 5d28955dc6
commit 1c74291b99
5 changed files with 67 additions and 1 deletions
--- a/arch/user/include/mango/machine/init.h
+++ b/arch/user/include/mango/machine/init.h
@@ -1,6 +1,7 @@
 #ifndef MANGO_X86_64_INIT_H_
 #define MANGO_X86_64_INIT_H_

+#include <stddef.h>
 #include <stdint.h>

 #ifdef __cplusplus
--- a/arch/user/include/mango/machine/pmap.h
+++ b/arch/user/include/mango/machine/pmap.h
@@ -1,6 +1,8 @@
 #ifndef MANGO_USER_PMAP_H_
 #define MANGO_USER_PMAP_H_

+#include <stdint.h>
+
 typedef uintptr_t ml_pmap_t;
 typedef uint64_t ml_pfn_t;