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_ */