Searched defs:kernel_start_addr (Results 1 – 6 of 6) sorted by relevance
102 kernel_start_addr: label
202 target_ulong kernel_start_addr; in spike_board_init() local
520 target_ulong firmware_end_addr, kernel_start_addr; in type_init() local
220 target_ulong kernel_start_addr, in riscv_load_kernel()
518 target_ulong firmware_end_addr, kernel_start_addr; in sifive_u_machine_init() local
1364 target_ulong firmware_end_addr, kernel_start_addr; in virt_machine_done() local