mtrr_setup();
smp_probe();
malloc_setup();
+ pmm_setup();
pnp_setup();
vga_setup();
smm_init();
init_bios_tables();
- malloc_finalize();
- memmap_finalize();
boot_setup();
hard_drive_setup();
optionrom_setup();
+
+ pmm_finalize();
+ malloc_finalize();
+ memmap_finalize();
}
// 32-bit entry point.