5 IMPLEMENTATION[ia32,amd64]:
13 void kernel_main(void);
15 extern "C" FIASCO_FASTCALL FIASCO_INIT
17 __main(Address mbi_phys, unsigned aflag, unsigned checksum_ro)
19 /* set global to be used in the constructors */
20 Boot_info::set_mbi_phys(mbi_phys);
21 Boot_info::set_flags(aflag);
22 Boot_info::set_checksum_ro(checksum_ro);
25 atexit(&static_destruction);
26 static_construction();