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()208 bool htif_custom_base = false; in spike_board_init() local281 htif_custom_base = true; in spike_board_init()284 htif_custom_base = !spike_test_elf_image(firmware_name); in spike_board_init()286 if (!htif_custom_base && machine->kernel_filename) { in spike_board_init()287 htif_custom_base = !spike_test_elf_image(machine->kernel_filename); in spike_board_init()300 create_fdt(s, memmap, riscv_is_32bit(&s->soc[0]), htif_custom_base); in spike_board_init()331 htif_custom_base); in spike_board_init()