#define MMU_USER_IDX 2
-void tricore_cpu_list(void);
-
-#define cpu_list tricore_cpu_list
-
static inline int cpu_mmu_index(CPUTriCoreState *env, bool ifetch)
{
return 0;
}
}
-static void tricore_cpu_list_entry(gpointer data, gpointer user_data)
-{
- ObjectClass *oc = data;
- const char *typename;
- char *name;
-
- typename = object_class_get_name(oc);
- name = g_strndup(typename, strlen(typename) - strlen("-" TYPE_TRICORE_CPU));
- qemu_printf(" %s\n", name);
- g_free(name);
-}
-
-void tricore_cpu_list(void)
-{
- GSList *list;
-
- list = object_class_get_list_sorted(TYPE_TRICORE_CPU, false);
- qemu_printf("Available CPUs:\n");
- g_slist_foreach(list, tricore_cpu_list_entry, NULL);
- g_slist_free(list);
-}
-
void fpu_set_state(CPUTriCoreState *env)
{
switch (extract32(env->PSW, 24, 2)) {