Searched defs:kernel_addr (Results 1 – 10 of 10) sorted by relevance
141 void *kernel_addr; in load_kernel() local
167 uint64_t kernel_addr) in write_bootloader()
259 target_ulong kernel_addr) in bl_gen_jump_kernel()
108 static void write_bootloader(void *ptr, hwaddr kernel_addr) in write_bootloader()
486 void riscv_setup_direct_kernel(hwaddr kernel_addr, hwaddr fdt_addr) in riscv_setup_direct_kernel()
159 uint64_t *initrd_addr, uint64_t *kernel_addr, in sun4u_load_kernel()550 uint64_t initrd_addr, initrd_size, kernel_addr, kernel_size, kernel_entry; in sun4uv_init() local
391 int64_t kernel_addr = VIRT_FLASH0_BASE; in loongarch_direct_kernel_boot() local
86 uint64_t kernel_addr; member
480 hwaddr kernel_addr; member
209 uint64_t kernel_addr; member