Searched refs:ADDR_MBI (Results 1 – 1 of 1) sorted by relevance
73 ADDR_MBI = ADDR_E820_MAP + 0x500, enumerator400 fw_cfg_add_i32(fw_cfg, FW_CFG_INITRD_ADDR, ADDR_MBI); in load_multiboot()