limine/common/protos/linux.c

636 lines
21 KiB
C
Raw Normal View History

#if defined (__x86_64__) || defined (__i386__)
2020-04-19 11:14:49 +03:00
#include <stdint.h>
#include <stddef.h>
2021-12-31 12:58:05 +03:00
#include <stdnoreturn.h>
2020-04-19 11:14:49 +03:00
#include <protos/linux.h>
#include <fs/file.h>
#include <lib/libc.h>
2022-08-27 00:44:47 +03:00
#include <lib/misc.h>
2020-04-19 11:14:49 +03:00
#include <lib/real.h>
2020-09-02 10:55:56 +03:00
#include <lib/term.h>
#include <lib/config.h>
2020-05-10 01:38:27 +03:00
#include <lib/print.h>
2020-11-02 11:20:34 +03:00
#include <lib/uri.h>
2020-09-20 13:03:44 +03:00
#include <mm/pmm.h>
#include <sys/idt.h>
#include <lib/fb.h>
#include <lib/acpi.h>
2021-04-28 23:56:28 +03:00
#include <drivers/edid.h>
#include <drivers/vga_textmode.h>
#include <drivers/gop.h>
2021-12-31 12:58:05 +03:00
noreturn void linux_spinup(void *entry, void *boot_params);
// The following definitions and struct were copied and adapted from Linux
// kernel headers released under GPL-2.0 WITH Linux-syscall-note
// allowing their inclusion in non GPL compliant code.
#define EDD_MBR_SIG_MAX 16
#define E820_MAX_ENTRIES_ZEROPAGE 128
#define EDDMAXNR 6
struct setup_header {
uint8_t setup_sects;
uint16_t root_flags;
uint32_t syssize;
uint16_t ram_size;
uint16_t vid_mode;
uint16_t root_dev;
uint16_t boot_flag;
uint16_t jump;
uint32_t header;
uint16_t version;
uint32_t realmode_swtch;
uint16_t start_sys_seg;
uint16_t kernel_version;
uint8_t type_of_loader;
uint8_t loadflags;
uint16_t setup_move_size;
uint32_t code32_start;
uint32_t ramdisk_image;
uint32_t ramdisk_size;
uint32_t bootsect_kludge;
uint16_t heap_end_ptr;
uint8_t ext_loader_ver;
uint8_t ext_loader_type;
uint32_t cmd_line_ptr;
uint32_t initrd_addr_max;
uint32_t kernel_alignment;
uint8_t relocatable_kernel;
uint8_t min_alignment;
uint16_t xloadflags;
uint32_t cmdline_size;
uint32_t hardware_subarch;
uint64_t hardware_subarch_data;
uint32_t payload_offset;
uint32_t payload_length;
uint64_t setup_data;
uint64_t pref_address;
uint32_t init_size;
uint32_t handover_offset;
uint32_t kernel_info_offset;
} __attribute__((packed));
struct screen_info {
uint8_t orig_x; /* 0x00 */
uint8_t orig_y; /* 0x01 */
uint16_t ext_mem_k; /* 0x02 */
uint16_t orig_video_page; /* 0x04 */
uint8_t orig_video_mode; /* 0x06 */
uint8_t orig_video_cols; /* 0x07 */
uint8_t flags; /* 0x08 */
uint8_t unused2; /* 0x09 */
uint16_t orig_video_ega_bx;/* 0x0a */
uint16_t unused3; /* 0x0c */
uint8_t orig_video_lines; /* 0x0e */
uint8_t orig_video_isVGA; /* 0x0f */
uint16_t orig_video_points;/* 0x10 */
/* VESA graphic mode -- linear frame buffer */
uint16_t lfb_width; /* 0x12 */
uint16_t lfb_height; /* 0x14 */
uint16_t lfb_depth; /* 0x16 */
uint32_t lfb_base; /* 0x18 */
uint32_t lfb_size; /* 0x1c */
uint16_t cl_magic, cl_offset; /* 0x20 */
uint16_t lfb_linelength; /* 0x24 */
uint8_t red_size; /* 0x26 */
uint8_t red_pos; /* 0x27 */
uint8_t green_size; /* 0x28 */
uint8_t green_pos; /* 0x29 */
uint8_t blue_size; /* 0x2a */
uint8_t blue_pos; /* 0x2b */
uint8_t rsvd_size; /* 0x2c */
uint8_t rsvd_pos; /* 0x2d */
uint16_t vesapm_seg; /* 0x2e */
uint16_t vesapm_off; /* 0x30 */
uint16_t pages; /* 0x32 */
uint16_t vesa_attributes; /* 0x34 */
uint32_t capabilities; /* 0x36 */
uint32_t ext_lfb_base; /* 0x3a */
uint8_t _reserved[2]; /* 0x3e */
} __attribute__((packed));
#define VIDEO_TYPE_MDA 0x10 /* Monochrome Text Display */
#define VIDEO_TYPE_CGA 0x11 /* CGA Display */
#define VIDEO_TYPE_EGAM 0x20 /* EGA/VGA in Monochrome Mode */
#define VIDEO_TYPE_EGAC 0x21 /* EGA in Color Mode */
#define VIDEO_TYPE_VGAC 0x22 /* VGA+ in Color Mode */
#define VIDEO_TYPE_VLFB 0x23 /* VESA VGA in graphic mode */
#define VIDEO_TYPE_PICA_S3 0x30 /* ACER PICA-61 local S3 video */
#define VIDEO_TYPE_MIPS_G364 0x31 /* MIPS Magnum 4000 G364 video */
#define VIDEO_TYPE_SGI 0x33 /* Various SGI graphics hardware */
#define VIDEO_TYPE_TGAC 0x40 /* DEC TGA */
#define VIDEO_TYPE_SUN 0x50 /* Sun frame buffer. */
#define VIDEO_TYPE_SUNPCI 0x51 /* Sun PCI based frame buffer. */
#define VIDEO_TYPE_PMAC 0x60 /* PowerMacintosh frame buffer. */
#define VIDEO_TYPE_EFI 0x70 /* EFI graphic mode */
#define VIDEO_FLAGS_NOCURSOR (1 << 0) /* The video mode has no cursor set */
#define VIDEO_CAPABILITY_SKIP_QUIRKS (1 << 0)
#define VIDEO_CAPABILITY_64BIT_BASE (1 << 1) /* Frame buffer base is 64-bit */
struct apm_bios_info {
uint16_t version;
uint16_t cseg;
uint32_t offset;
uint16_t cseg_16;
uint16_t dseg;
uint16_t flags;
uint16_t cseg_len;
uint16_t cseg_16_len;
uint16_t dseg_len;
};
struct ist_info {
uint32_t signature;
uint32_t command;
uint32_t event;
uint32_t perf_level;
};
struct sys_desc_table {
uint16_t length;
uint8_t table[14];
};
struct olpc_ofw_header {
uint32_t ofw_magic; /* OFW signature */
uint32_t ofw_version;
uint32_t cif_handler; /* callback into OFW */
uint32_t irq_desc_table;
} __attribute__((packed));
struct edid_info {
unsigned char dummy[128];
};
struct efi_info {
uint32_t efi_loader_signature;
uint32_t efi_systab;
uint32_t efi_memdesc_size;
uint32_t efi_memdesc_version;
uint32_t efi_memmap;
uint32_t efi_memmap_size;
uint32_t efi_systab_hi;
uint32_t efi_memmap_hi;
};
struct boot_e820_entry {
uint64_t addr;
uint64_t size;
uint32_t type;
} __attribute__((packed));
struct edd_device_params {
uint16_t length;
uint16_t info_flags;
uint32_t num_default_cylinders;
uint32_t num_default_heads;
uint32_t sectors_per_track;
uint64_t number_of_sectors;
uint16_t bytes_per_sector;
uint32_t dpte_ptr; /* 0xFFFFFFFF for our purposes */
uint16_t key; /* = 0xBEDD */
uint8_t device_path_info_length; /* = 44 */
uint8_t reserved2;
uint16_t reserved3;
uint8_t host_bus_type[4];
uint8_t interface_type[8];
union {
struct {
uint16_t base_address;
uint16_t reserved1;
uint32_t reserved2;
} __attribute__ ((packed)) isa;
struct {
uint8_t bus;
uint8_t slot;
uint8_t function;
uint8_t channel;
uint32_t reserved;
} __attribute__ ((packed)) pci;
/* pcix is same as pci */
struct {
uint64_t reserved;
} __attribute__ ((packed)) ibnd;
struct {
uint64_t reserved;
} __attribute__ ((packed)) xprs;
struct {
uint64_t reserved;
} __attribute__ ((packed)) htpt;
struct {
uint64_t reserved;
} __attribute__ ((packed)) unknown;
} interface_path;
union {
struct {
uint8_t device;
uint8_t reserved1;
uint16_t reserved2;
uint32_t reserved3;
uint64_t reserved4;
} __attribute__ ((packed)) ata;
struct {
uint8_t device;
uint8_t lun;
uint8_t reserved1;
uint8_t reserved2;
uint32_t reserved3;
uint64_t reserved4;
} __attribute__ ((packed)) atapi;
struct {
uint16_t id;
uint64_t lun;
uint16_t reserved1;
uint32_t reserved2;
} __attribute__ ((packed)) scsi;
struct {
uint64_t serial_number;
uint64_t reserved;
} __attribute__ ((packed)) usb;
struct {
uint64_t eui;
uint64_t reserved;
} __attribute__ ((packed)) i1394;
struct {
uint64_t wwid;
uint64_t lun;
} __attribute__ ((packed)) fibre;
struct {
uint64_t identity_tag;
uint64_t reserved;
} __attribute__ ((packed)) i2o;
struct {
uint32_t array_number;
uint32_t reserved1;
uint64_t reserved2;
} __attribute__ ((packed)) raid;
struct {
uint8_t device;
uint8_t reserved1;
uint16_t reserved2;
uint32_t reserved3;
uint64_t reserved4;
} __attribute__ ((packed)) sata;
struct {
uint64_t reserved1;
uint64_t reserved2;
} __attribute__ ((packed)) unknown;
} device_path;
uint8_t reserved4;
uint8_t checksum;
} __attribute__ ((packed));
struct edd_info {
uint8_t device;
uint8_t version;
uint16_t interface_support;
uint16_t legacy_max_cylinder;
uint8_t legacy_max_head;
uint8_t legacy_sectors_per_track;
struct edd_device_params params;
} __attribute__ ((packed));
struct boot_params {
struct screen_info screen_info; /* 0x000 */
struct apm_bios_info apm_bios_info; /* 0x040 */
uint8_t _pad2[4]; /* 0x054 */
uint64_t tboot_addr; /* 0x058 */
struct ist_info ist_info; /* 0x060 */
uint64_t acpi_rsdp_addr; /* 0x070 */
uint8_t _pad3[8]; /* 0x078 */
uint8_t hd0_info[16]; /* obsolete! */ /* 0x080 */
uint8_t hd1_info[16]; /* obsolete! */ /* 0x090 */
struct sys_desc_table sys_desc_table; /* obsolete! */ /* 0x0a0 */
struct olpc_ofw_header olpc_ofw_header; /* 0x0b0 */
uint32_t ext_ramdisk_image; /* 0x0c0 */
uint32_t ext_ramdisk_size; /* 0x0c4 */
uint32_t ext_cmd_line_ptr; /* 0x0c8 */
uint8_t _pad4[116]; /* 0x0cc */
struct edid_info edid_info; /* 0x140 */
struct efi_info efi_info; /* 0x1c0 */
uint32_t alt_mem_k; /* 0x1e0 */
uint32_t scratch; /* Scratch field! */ /* 0x1e4 */
uint8_t e820_entries; /* 0x1e8 */
uint8_t eddbuf_entries; /* 0x1e9 */
uint8_t edd_mbr_sig_buf_entries; /* 0x1ea */
uint8_t kbd_status; /* 0x1eb */
uint8_t secure_boot; /* 0x1ec */
uint8_t _pad5[2]; /* 0x1ed */
/*
* The sentinel is set to a nonzero value (0xff) in header.S.
*
* A bootloader is supposed to only take setup_header and put
* it into a clean boot_params buffer. If it turns out that
* it is clumsy or too generous with the buffer, it most
* probably will pick up the sentinel variable too. The fact
* that this variable then is still 0xff will let kernel
* know that some variables in boot_params are invalid and
* kernel should zero out certain portions of boot_params.
*/
uint8_t sentinel; /* 0x1ef */
uint8_t _pad6[1]; /* 0x1f0 */
struct setup_header hdr; /* setup header */ /* 0x1f1 */
uint8_t _pad7[0x290-0x1f1-sizeof(struct setup_header)];
uint32_t edd_mbr_sig_buffer[EDD_MBR_SIG_MAX]; /* 0x290 */
struct boot_e820_entry e820_table[E820_MAX_ENTRIES_ZEROPAGE]; /* 0x2d0 */
uint8_t _pad8[48]; /* 0xcd0 */
struct edd_info eddbuf[EDDMAXNR]; /* 0xd00 */
uint8_t _pad9[276]; /* 0xeec */
} __attribute__((packed));
// End of Linux code
noreturn void linux_load(char *config, char *cmdline) {
2021-10-22 17:37:17 +03:00
struct file_handle *kernel_file;
char *kernel_path = config_get_value(config, 0, "KERNEL_PATH");
if (kernel_path == NULL)
2021-12-11 21:58:00 +03:00
panic(true, "linux: KERNEL_PATH not specified");
2022-09-11 21:45:04 +03:00
print("linux: Loading kernel `%#`...\n", kernel_path);
2021-10-22 17:37:17 +03:00
if ((kernel_file = uri_open(kernel_path)) == NULL)
2022-09-11 21:45:04 +03:00
panic(true, "linux: Failed to open kernel with path `%#`. Is the path correct?", kernel_path);
2020-05-06 17:38:45 +03:00
2020-04-19 11:14:49 +03:00
uint32_t signature;
2021-10-22 17:37:17 +03:00
fread(kernel_file, &signature, 0x202, sizeof(uint32_t));
2020-04-19 11:14:49 +03:00
// validate signature
if (signature != 0x53726448) {
panic(true, "linux: Invalid kernel signature");
2020-04-19 11:14:49 +03:00
}
size_t setup_code_size = 0;
2021-10-22 17:37:17 +03:00
fread(kernel_file, &setup_code_size, 0x1f1, 1);
2020-04-19 11:14:49 +03:00
if (setup_code_size == 0)
setup_code_size = 4;
setup_code_size *= 512;
size_t real_mode_code_size = 512 + setup_code_size;
struct boot_params *boot_params = ext_mem_alloc(sizeof(struct boot_params));
2020-04-19 11:14:49 +03:00
struct setup_header *setup_header = &boot_params->hdr;
2020-04-19 11:14:49 +03:00
size_t setup_header_end = ({
uint8_t x;
2021-10-22 17:37:17 +03:00
fread(kernel_file, &x, 0x201, 1);
0x202 + x;
});
2020-04-19 11:14:49 +03:00
2021-10-22 17:37:17 +03:00
fread(kernel_file, setup_header, 0x1f1, setup_header_end - 0x1f1);
2020-04-19 11:14:49 +03:00
2021-05-11 07:46:42 +03:00
printv("linux: Boot protocol: %u.%u\n",
setup_header->version >> 8, setup_header->version & 0xff);
if (setup_header->version < 0x203) {
2021-12-11 21:58:00 +03:00
panic(true, "linux: Protocols < 2.03 are not supported");
2021-01-27 18:16:36 +03:00
}
setup_header->cmd_line_ptr = (uint32_t)(uintptr_t)cmdline;
2021-01-27 18:16:36 +03:00
// vid_mode. 0xffff means "normal"
setup_header->vid_mode = 0xffff;
2020-04-19 11:14:49 +03:00
2021-05-11 07:46:42 +03:00
if (verbose) {
char *kernel_version = ext_mem_alloc(128);
if (setup_header->kernel_version != 0) {
2021-10-22 17:37:17 +03:00
fread(kernel_file, kernel_version, setup_header->kernel_version + 0x200, 128);
2021-05-11 07:46:42 +03:00
print("linux: Kernel version: %s\n", kernel_version);
}
pmm_free(kernel_version, 128);
}
setup_header->type_of_loader = 0xff;
2020-04-19 11:14:49 +03:00
if (!(setup_header->loadflags & (1 << 0))) {
2021-12-11 21:58:00 +03:00
panic(true, "linux: Kernels that load at 0x10000 are not supported");
2021-01-27 18:16:36 +03:00
}
setup_header->loadflags &= ~(1 << 5); // print early messages
2020-04-19 11:14:49 +03:00
// load kernel
uintptr_t kernel_load_addr = 0x100000;
for (;;) {
if (memmap_alloc_range(kernel_load_addr,
2021-10-22 17:37:17 +03:00
ALIGN_UP(kernel_file->size - real_mode_code_size, 4096),
2021-04-07 03:10:28 +03:00
MEMMAP_BOOTLOADER_RECLAIMABLE, true, false, false, false))
break;
kernel_load_addr += 0x100000;
}
2021-10-22 17:37:17 +03:00
fread(kernel_file, (void *)kernel_load_addr, real_mode_code_size, kernel_file->size - real_mode_code_size);
fclose(kernel_file);
///////////////////////////////////////
// Modules
///////////////////////////////////////
uint32_t modules_mem_base = setup_header->initrd_addr_max;
2021-01-27 19:24:56 +03:00
if (modules_mem_base == 0)
modules_mem_base = 0x38000000;
2021-01-27 18:16:36 +03:00
size_t size_of_all_modules = 0;
for (size_t i = 0; ; i++) {
char *module_path = config_get_value(config, i, "MODULE_PATH");
if (module_path == NULL)
break;
2021-10-21 02:27:05 +03:00
struct file_handle *module;
if ((module = uri_open(module_path)) == NULL)
2021-12-11 21:58:00 +03:00
panic(true, "linux: Failed to open module with path `%s`. Is the path correct?", module_path);
2021-01-27 18:16:36 +03:00
2021-10-21 02:27:05 +03:00
size_of_all_modules += module->size;
fclose(module);
2021-01-27 18:16:36 +03:00
}
modules_mem_base -= size_of_all_modules;
modules_mem_base = ALIGN_DOWN(modules_mem_base, 4096);
for (;;) {
if (memmap_alloc_range(modules_mem_base, ALIGN_UP(size_of_all_modules, 4096),
2021-04-07 03:10:28 +03:00
MEMMAP_BOOTLOADER_RECLAIMABLE, true, false, false, false))
2021-01-27 18:16:36 +03:00
break;
modules_mem_base -= 4096;
}
size_t _modules_mem_base = modules_mem_base;
for (size_t i = 0; ; i++) {
char *module_path = config_get_value(config, i, "MODULE_PATH");
if (module_path == NULL)
break;
2020-04-19 11:14:49 +03:00
2022-09-11 21:45:04 +03:00
print("linux: Loading module `%#`...\n", module_path);
2021-10-21 02:27:05 +03:00
struct file_handle *module;
if ((module = uri_open(module_path)) == NULL)
2022-09-11 21:45:04 +03:00
panic(true, "linux: Could not open `%#`", module_path);
2020-04-19 11:14:49 +03:00
2021-10-21 02:27:05 +03:00
fread(module, (void *)_modules_mem_base, 0, module->size);
2021-10-21 02:27:05 +03:00
_modules_mem_base += module->size;
}
2021-01-27 18:16:36 +03:00
if (size_of_all_modules != 0) {
setup_header->ramdisk_image = (uint32_t)modules_mem_base;
setup_header->ramdisk_size = (uint32_t)size_of_all_modules;
}
2020-04-19 11:14:49 +03:00
///////////////////////////////////////
// Video
///////////////////////////////////////
2020-04-19 11:14:49 +03:00
term_deinit();
struct screen_info *screen_info = &boot_params->screen_info;
#if defined (BIOS)
2021-11-27 02:44:07 +03:00
{
char *textmode_str = config_get_value(config, 0, "TEXTMODE");
bool textmode = textmode_str != NULL && strcmp(textmode_str, "yes") == 0;
if (textmode) {
goto set_textmode;
}
}
#endif
size_t req_width = 0, req_height = 0, req_bpp = 0;
char *resolution = config_get_value(config, 0, "RESOLUTION");
if (resolution != NULL)
parse_resolution(&req_width, &req_height, &req_bpp, resolution);
struct fb_info fbinfo;
#if defined (UEFI)
gop_force_16 = true;
#endif
if (!fb_init(&fbinfo, req_width, req_height, req_bpp)) {
#if defined (UEFI)
2021-12-11 21:58:00 +03:00
panic(true, "linux: Unable to set video mode");
#elif defined (BIOS)
2021-11-27 02:44:07 +03:00
set_textmode:;
size_t rows, cols;
init_vga_textmode(&rows, &cols, false);
screen_info->orig_video_mode = 3;
screen_info->orig_video_ega_bx = 3;
screen_info->orig_video_lines = rows;
screen_info->orig_video_cols = cols;
screen_info->orig_video_points = 16;
2021-03-02 12:23:43 +03:00
screen_info->orig_video_isVGA = VIDEO_TYPE_VGAC;
#endif
} else {
screen_info->capabilities = VIDEO_CAPABILITY_SKIP_QUIRKS;
screen_info->flags = VIDEO_FLAGS_NOCURSOR;
screen_info->lfb_base = (uint32_t)fbinfo.framebuffer_addr;
screen_info->ext_lfb_base = (uint32_t)(fbinfo.framebuffer_addr >> 32);
screen_info->lfb_size = fbinfo.framebuffer_pitch * fbinfo.framebuffer_height;
screen_info->lfb_width = fbinfo.framebuffer_width;
screen_info->lfb_height = fbinfo.framebuffer_height;
screen_info->lfb_depth = fbinfo.framebuffer_bpp;
screen_info->lfb_linelength = fbinfo.framebuffer_pitch;
screen_info->red_size = fbinfo.red_mask_size;
screen_info->red_pos = fbinfo.red_mask_shift;
screen_info->green_size = fbinfo.green_mask_size;
screen_info->green_pos = fbinfo.green_mask_shift;
screen_info->blue_size = fbinfo.blue_mask_size;
screen_info->blue_pos = fbinfo.blue_mask_shift;
screen_info->orig_video_isVGA = VIDEO_TYPE_VLFB;
if (fbinfo.framebuffer_addr > (uint64_t)0xffffffff) {
screen_info->capabilities |= VIDEO_CAPABILITY_64BIT_BASE;
#if defined (UEFI)
screen_info->orig_video_isVGA = VIDEO_TYPE_EFI;
#endif
}
}
2021-04-28 23:56:28 +03:00
struct edid_info_struct *edid_info = get_edid_info();
if (edid_info != NULL) {
memcpy(&boot_params->edid_info, edid_info, sizeof(struct edid_info_struct));
}
///////////////////////////////////////
// RSDP
///////////////////////////////////////
boot_params->acpi_rsdp_addr = (uintptr_t)acpi_get_rsdp();
///////////////////////////////////////
// UEFI
///////////////////////////////////////
#if defined (UEFI)
efi_exit_boot_services();
#if defined (__x86_64__)
memcpy(&boot_params->efi_info.efi_loader_signature, "EL64", 4);
#elif defined (__i386__)
memcpy(&boot_params->efi_info.efi_loader_signature, "EL32", 4);
#endif
2021-07-20 14:35:43 +03:00
boot_params->efi_info.efi_systab = (uint32_t)(uint64_t)(uintptr_t)gST;
boot_params->efi_info.efi_systab_hi = (uint32_t)((uint64_t)(uintptr_t)gST >> 32);
boot_params->efi_info.efi_memmap = (uint32_t)(uint64_t)(uintptr_t)efi_mmap;
boot_params->efi_info.efi_memmap_hi = (uint32_t)((uint64_t)(uintptr_t)efi_mmap >> 32);
#if defined (__x86_64__)
boot_params->efi_info.efi_memmap_size = efi_mmap_size;
#elif defined (__i386__)
// A memmap size of 0 will cause Linux to force bail out of trying to use
// 32-bit EFI runtime services without ignoring other EFI info.
// XXX: Figure out why 64-bit Linux hangs if trying to use 32-bit boot services.
boot_params->efi_info.efi_memmap_size = 0;
#endif
boot_params->efi_info.efi_memdesc_size = efi_desc_size;
boot_params->efi_info.efi_memdesc_version = efi_desc_ver;
2021-03-02 12:23:43 +03:00
#endif
///////////////////////////////////////
// e820
///////////////////////////////////////
struct boot_e820_entry *e820_table = boot_params->e820_table;
2021-07-06 06:17:18 +03:00
size_t mmap_entries;
struct memmap_entry *mmap = get_raw_memmap(&mmap_entries);
for (size_t i = 0, j = 0; i < mmap_entries; i++) {
if (mmap[i].type >= 0x1000) {
continue;
}
e820_table[j].addr = mmap[i].base;
e820_table[j].size = mmap[i].length;
e820_table[j].type = mmap[i].type;
j++;
boot_params->e820_entries = j;
}
///////////////////////////////////////
// Spin up
///////////////////////////////////////
irq_flush_type = IRQ_PIC_ONLY_FLUSH;
common_spinup(linux_spinup, 2, (uint32_t)kernel_load_addr,
(uint32_t)(uintptr_t)boot_params);
}
#endif