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