Searched refs:tricore_load_kernel (Results 1 – 2 of 2) sorted by relevance
34 static void tricore_load_kernel(const char *kernel_filename) in tricore_load_kernel() function65 tricore_load_kernel(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()