Lines Matching refs:kernel_load_gpa
143 uint64_t kernel_load_gpa = INVALID_GPA; in get_bzimage_kernel_load_addr() local
158 kernel_load_gpa = find_space_from_ve820(vm, kernel_size, MEM_1M, mods_start); in get_bzimage_kernel_load_addr()
160 if (kernel_load_gpa == INVALID_GPA) { in get_bzimage_kernel_load_addr()
161 kernel_load_gpa = find_space_from_ve820(vm, kernel_size, mods_end, MEM_4G); in get_bzimage_kernel_load_addr()
165 if (kernel_load_gpa != INVALID_GPA) { in get_bzimage_kernel_load_addr()
166 load_addr = (void *)roundup((uint64_t)kernel_load_gpa, kernel_align); in get_bzimage_kernel_load_addr()
334 uint64_t load_params_gpa, uint64_t kernel_load_gpa) in load_bzimage() argument
358 …(void)copy_to_gpa(vm, (sw_kernel->kernel_src_addr + prot_code_offset), kernel_load_gpa, prot_code_… in load_bzimage()
367 vm->sw.ramdisk_info.load_addr = (void *)get_initrd_load_addr(vm, kernel_load_gpa); in load_bzimage()
390 sw_kernel->kernel_entry_addr = (void *)(kernel_load_gpa + kernel_entry_offset); in load_bzimage()
415 uint64_t kernel_load_gpa = (uint64_t)get_bzimage_kernel_load_addr(vm); in bzimage_loader() local
417 if (kernel_load_gpa != 0UL) { in bzimage_loader()
421 load_bzimage(vm, vcpu, load_params_gpa, kernel_load_gpa); in bzimage_loader()