Searched refs:tricore_load_kernel (Results 1 – 2 of 2) sorted by relevance
34 static void tricore_load_kernel(TriCoreCPU *cpu, const char *kernel_filename) in tricore_load_kernel() function63 tricore_load_kernel(&ms->tc27x_soc.cpu, machine->kernel_filename); in triboard_machine_init()
38 static void tricore_load_kernel(CPUTriCoreState *env) in tricore_load_kernel() function100 tricore_load_kernel(env); in tricore_testboard_init()