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
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