/* * Entrypoint from boot.c */ void setupFakeEfi(void) { // Generate efi device strings setup_pci_devs(root_pci_dev); readSMBIOSInfo(getSmbios(SMBIOS_ORIGINAL)); // load smbios.plist file if any setupSmbiosConfigFile("smbios.plist"); setupSMBIOSTable(); // Initialize the base table if (archCpuType == CPU_TYPE_I386) { setupEfiTables32(); } else { setupEfiTables64(); } // Initialize the device tree setupEfiDeviceTree(); saveOriginalSMBIOS(); // Add configuration table entries to both the services table and the device tree setupEfiConfigurationTable(); }
/* Entrypoint from boot.c */ void setupFakeEfi(void) { // load smbios.plist file if any setupSmbiosConfigFile(); // Generate efi device strings setupEfiDevices(); // Initialize the base table setupEfiTables(); // Initialize the device tree setupEfiDeviceTree(); // Add configuration table entries to both the services table and the device tree setupEfiConfigurationTable(); }