Searched refs:kernel_entry_addr (Results 1 – 6 of 6) sorted by relevance
25 sw_kernel->kernel_entry_addr = (void *)vm_config->os_config.kernel_entry_addr; in load_rawimage()
235 sw_kernel->kernel_entry_addr = elf_entry; in load_elf()
390 sw_kernel->kernel_entry_addr = (void *)(kernel_load_gpa + kernel_entry_offset); in load_bzimage()
57 vcpu_set_rip(vcpu, (uint64_t)vm->sw.kernel_info.kernel_entry_addr); in prepare_os_image()59 vm->sw.kernel_info.kernel_entry_addr); in prepare_os_image()
129 uint64_t kernel_entry_addr; member
61 void *kernel_entry_addr; /* GPA */ member
Completed in 9 milliseconds