diff options
Diffstat (limited to 'i386')
| -rw-r--r-- | i386/i386at/model_dep.c | 2 | ||||
| -rw-r--r-- | i386/i386at/model_dep.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index 21f6186..f0d49f4 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -136,8 +136,6 @@ vm_offset_t int_stack_top, int_stack_high; extern void linux_init(void); #endif -boolean_t init_alloc_aligned(vm_size_t size, vm_offset_t *addrp); - /* * Find devices. The system is alive. */ diff --git a/i386/i386at/model_dep.h b/i386/i386at/model_dep.h index 65dc00b..7357314 100644 --- a/i386/i386at/model_dep.h +++ b/i386/i386at/model_dep.h @@ -35,4 +35,6 @@ extern void halt_all_cpus (boolean_t reboot) __attribute__ ((noreturn)); void inittodr(void); +boolean_t init_alloc_aligned(vm_size_t size, vm_offset_t *addrp); + #endif /* _MODEL_DEP_H_ */ |