Searched defs: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() function
38 static void tricore_load_kernel(CPUTriCoreState *env) in tricore_load_kernel() function