Searched refs:pvh_start_addr (Results 1 – 1 of 1) sorted by relevance
67 static size_t pvh_start_addr; variable724 pvh_start_addr = *elf_note_data_addr; in read_pvh_start_addr()735 pvh_start_addr = *(uint32_t *)elf_note_data_addr; in read_pvh_start_addr()738 return pvh_start_addr; in read_pvh_start_addr()780 if (pvh_start_addr == 0) { in load_elfboot()784 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, pvh_start_addr); in load_elfboot()855 header, pvh_start_addr, fw_cfg)) { in x86_load_linux()