diff options
Diffstat (limited to 'extras/mini-os/arch/ia64/common.c')
-rw-r--r-- | extras/mini-os/arch/ia64/common.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extras/mini-os/arch/ia64/common.c b/extras/mini-os/arch/ia64/common.c index cd4cec1e20..c65f0a0d07 100644 --- a/extras/mini-os/arch/ia64/common.c +++ b/extras/mini-os/arch/ia64/common.c @@ -236,6 +236,12 @@ arch_init(start_info_t *si) } void +arch_fini(void) +{ + /* TODO */ +} + +void arch_print_info(void) { int major, minor; |