Changes in kernel/generic/include/main/uinit.h [3fcea34:e88eb48] 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);