Searched refs:FW_CFG_KERNEL_ENTRY (Results 1 – 9 of 9) sorted by relevance
26 #define FW_CFG_KERNEL_ENTRY 0x10 macro
130 bios_cfg_read_entry(&kernel_entry, FW_CFG_KERNEL_ENTRY, 4, fw_cfg_version); in pvh_load_kernel()
27 #define FW_CFG_KERNEL_ENTRY 0x10 macro
194 read_fw FW_CFG_KERNEL_ENTRY
28 FW_CFG_KERNEL_ENTRY = 0x10, enumerator
393 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, mh_entry_addr); in load_multiboot()
619 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, pvh_start_addr); in load_elfboot()
98 [FW_CFG_KERNEL_ENTRY] = "kernel_entry", in key_name()