Searched refs:pvh_start_addr (Results 1 – 1 of 1) sorted by relevance
54 static size_t pvh_start_addr; variable559 pvh_start_addr = *elf_note_data_addr; in read_pvh_start_addr()570 pvh_start_addr = *(uint32_t *)elf_note_data_addr; in read_pvh_start_addr()573 return pvh_start_addr; in read_pvh_start_addr()615 if (pvh_start_addr == 0) { in load_elfboot()619 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_ENTRY, pvh_start_addr); in load_elfboot()693 header, pvh_start_addr, fw_cfg)) { in x86_load_linux()