if (tcg_enabled()) {
cpu->env.cpucfg[1] = FIELD_DP32(cpu->env.cpucfg[1], CPUCFG1, MSG_INT, 1);
cpu->msgint = ON_OFF_AUTO_AUTO;
- cpu->env.cpucfg[2] = FIELD_DP32(cpu->env.cpucfg[2], CPUCFG2, HPTW, 1);
+
+ uint32_t data = cpu->env.cpucfg[2];
+ data = FIELD_DP32(data, CPUCFG2, HPTW, 1);
+ /* Enable LA v1.1 instructions */
+ data = FIELD_DP32(data, CPUCFG2, FRECIPE, 1);
+ data = FIELD_DP32(data, CPUCFG2, LAM_BH, 1);
+ data = FIELD_DP32(data, CPUCFG2, LAMCAS, 1);
+ data = FIELD_DP32(data, CPUCFG2, LLACQ_SCREL, 1);
+ data = FIELD_DP32(data, CPUCFG2, SCQ, 1);
+ cpu->env.cpucfg[2] = data;
}
}