Searched refs:read_pvh_start_addr (Results 1 – 1 of 1) sorted by relevance
540 static uint64_t read_pvh_start_addr(void *arg1, void *arg2, bool is64) in read_pvh_start_addr() function603 kernel_size = load_elf(kernel_filename, read_pvh_start_addr, in load_elfboot()