2 * Copyright (c) 2012-2014 Bastian Koppelmann C-Lab/University Paderborn
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2 of the License, or (at your option) any later version.
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
35 #if defined(CONFIG_SOFTMMU)
36 static int get_physical_address(CPUTriCoreState
*env
, hwaddr
*physical
,
37 int *prot
, target_ulong address
,
38 int rw
, int access_type
)
40 int ret
= TLBRET_MATCH
;
42 *physical
= address
& 0xFFFFFFFF;
43 *prot
= PAGE_READ
| PAGE_WRITE
| PAGE_EXEC
;
49 /* TODO: Add exeption support*/
50 static void raise_mmu_exception(CPUTriCoreState
*env
, target_ulong address
,
51 int rw
, int tlb_error
)
55 int cpu_tricore_handle_mmu_fault(CPUState
*cs
, target_ulong address
,
58 TriCoreCPU
*cpu
= TRICORE_CPU(cs
);
59 CPUTriCoreState
*env
= &cpu
->env
;
66 access_type
= ACCESS_INT
;
67 ret
= get_physical_address(env
, &physical
, &prot
,
68 address
, rw
, access_type
);
69 qemu_log("%s address=" TARGET_FMT_lx
" ret %d physical " TARGET_FMT_plx
70 " prot %d\n", __func__
, address
, ret
, physical
, prot
);
72 if (ret
== TLBRET_MATCH
) {
73 tlb_set_page(cs
, address
& TARGET_PAGE_MASK
,
74 physical
& TARGET_PAGE_MASK
, prot
| PAGE_EXEC
,
75 mmu_idx
, TARGET_PAGE_SIZE
);
78 raise_mmu_exception(env
, address
, rw
, ret
);
85 TriCoreCPU
*cpu_tricore_init(const char *cpu_model
)
87 return TRICORE_CPU(cpu_generic_init(TYPE_TRICORE_CPU
, cpu_model
));
90 static void tricore_cpu_list_entry(gpointer data
, gpointer user_data
)
92 ObjectClass
*oc
= data
;
93 CPUListState
*s
= user_data
;
97 typename
= object_class_get_name(oc
);
98 name
= g_strndup(typename
, strlen(typename
) - strlen("-" TYPE_TRICORE_CPU
));
99 (*s
->cpu_fprintf
)(s
->file
, " %s\n",
104 void tricore_cpu_list(FILE *f
, fprintf_function cpu_fprintf
)
108 .cpu_fprintf
= cpu_fprintf
,
112 list
= object_class_get_list(TYPE_TRICORE_CPU
, false);
113 (*cpu_fprintf
)(f
, "Available CPUs:\n");
114 g_slist_foreach(list
, tricore_cpu_list_entry
, &s
);
118 uint32_t psw_read(CPUTriCoreState
*env
)
120 /* clear all USB bits */
121 env
->PSW
&= 0xffffff;
122 /* now set them from the cache */
123 env
->PSW
|= ((env
->PSW_USB_C
!= 0) << 31);
124 env
->PSW
|= ((env
->PSW_USB_V
& (1 << 31)) >> 1);
125 env
->PSW
|= ((env
->PSW_USB_SV
& (1 << 31)) >> 2);
126 env
->PSW
|= ((env
->PSW_USB_AV
& (1 << 31)) >> 3);
127 env
->PSW
|= ((env
->PSW_USB_SAV
& (1 << 31)) >> 4);
132 void psw_write(CPUTriCoreState
*env
, uint32_t val
)
134 env
->PSW_USB_C
= (val
& MASK_USB_C
);
135 env
->PSW_USB_V
= (val
& MASK_USB_V
<< 1);
136 env
->PSW_USB_SV
= (val
& MASK_USB_SV
<< 2);
137 env
->PSW_USB_AV
= ((val
& MASK_USB_AV
) << 3);
138 env
->PSW_USB_SAV
= ((val
& MASK_USB_SAV
) << 4);