Rev 2355 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2355 | Rev 2357 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #include <interrupt.h> |
47 | #include <interrupt.h> |
| 48 | #include <arch/regutils.h> |
48 | #include <arch/regutils.h> |
| 49 | #include <arch/machine.h> |
49 | #include <arch/machine.h> |
| 50 | #include <userspace.h> |
50 | #include <userspace.h> |
| 51 | 51 | ||
| - | 52 | ||
| 52 | bootinfo_t bootinfo; |
53 | bootinfo_t bootinfo; |
| 53 | extern uintptr_t supervisor_sp; |
54 | extern uintptr_t supervisor_sp; |
| 54 | 55 | ||
| 55 | 56 | ||
| 56 | void arch_pre_main(void) |
57 | void arch_pre_main(void) |