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