diff options
Diffstat (limited to 'extras/mini-os/include/x86/os.h')
-rw-r--r-- | extras/mini-os/include/x86/os.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extras/mini-os/include/x86/os.h b/extras/mini-os/include/x86/os.h index 2b6ed5512b..80f5586a49 100644 --- a/extras/mini-os/include/x86/os.h +++ b/extras/mini-os/include/x86/os.h @@ -19,6 +19,8 @@ #include <types.h> #include <hypervisor.h> +#define USED __attribute__ ((used)) + extern void do_exit(void); #define BUG do_exit @@ -61,6 +63,11 @@ extern shared_info_t *HYPERVISOR_shared_info; void trap_init(void); +void arch_init(start_info_t *si); +void arch_print_info(void); + + + /* |