Changes in kernel/generic/include/main/uinit.h [e88eb48:3fcea34] in mainline

File:

• kernel/generic/include/main/uinit.h (modified) (1 diff)

kernel/generic/include/main/uinit.h

@@ -36 +36 @@
 #define KERN_UINIT_H_
 
+#include <stdint.h>
+
+typedef struct {
+        uintptr_t pc;
+        uintptr_t sp;
+} uinit_arg_t;
+
 extern void uinit(void *arg);