1 typedef void (*entry_func) (void) __attribute__ ((noreturn));
2 extern entry_func entry_addr;
bsd_boot_entry(void)3 static void bsd_boot_entry (void)
4 {
5   stop ();
6 }
bsd_boot(void)7 void bsd_boot (void)
8 {
9   entry_addr = (entry_func) bsd_boot_entry;
10   (*entry_addr) ();
11 }
12 
13