RETURN();
}
+void OPPROTO op_load_atbl (void)
+{
+ T0 = cpu_ppc_load_atbl(env);
+ RETURN();
+}
+
+void OPPROTO op_load_atbu (void)
+{
+ T0 = cpu_ppc_load_atbu(env);
+ RETURN();
+}
+
#if !defined(CONFIG_USER_ONLY)
void OPPROTO op_store_tbl (void)
{
RETURN();
}
+void OPPROTO op_store_atbl (void)
+{
+ cpu_ppc_store_atbl(env, T0);
+ RETURN();
+}
+
+void OPPROTO op_store_atbu (void)
+{
+ cpu_ppc_store_atbu(env, T0);
+ RETURN();
+}
+
void OPPROTO op_load_decr (void)
{
T0 = cpu_ppc_load_decr(env);