Searched refs:pvh_start_addr (Results 1 – 1 of 1) sorted by relevance
55 static size_t pvh_start_addr; variable566 pvh_start_addr = *elf_note_data_addr; in read_pvh_start_addr()577 pvh_start_addr = *(uint32_t *)elf_note_data_addr; in read_pvh_start_addr()580 return pvh_start_addr; in read_pvh_start_addr()622 if (pvh_start_addr == 0) { in load_elfboot()626 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, pvh_start_addr); in load_elfboot()700 header, pvh_start_addr, fw_cfg)) { in x86_load_linux()