Searched refs:htif_custom_base (Results 1 – 1 of 1) sorted by relevance
52 bool is_32_bit, bool htif_custom_base) in create_fdt() argument81 if (htif_custom_base) { in create_fdt()207 bool htif_custom_base = false; in spike_board_init() local280 htif_custom_base = true; in spike_board_init()283 htif_custom_base = !spike_test_elf_image(firmware_name); in spike_board_init()285 if (!htif_custom_base && machine->kernel_filename) { in spike_board_init()286 htif_custom_base = !spike_test_elf_image(machine->kernel_filename); in spike_board_init()299 create_fdt(s, memmap, riscv_is_32bit(&s->soc[0]), htif_custom_base); in spike_board_init()330 htif_custom_base); in spike_board_init()