xref: /qemu/target/ppc/excp_helper.c (revision f82db77761806613a62f622db9c1ca613ae1e6ed)
1ad71ed68SBlue Swirl /*
2ad71ed68SBlue Swirl  *  PowerPC exception emulation helpers for QEMU.
3ad71ed68SBlue Swirl  *
4ad71ed68SBlue Swirl  *  Copyright (c) 2003-2007 Jocelyn Mayer
5ad71ed68SBlue Swirl  *
6ad71ed68SBlue Swirl  * This library is free software; you can redistribute it and/or
7ad71ed68SBlue Swirl  * modify it under the terms of the GNU Lesser General Public
8ad71ed68SBlue Swirl  * License as published by the Free Software Foundation; either
96bd039cdSChetan Pant  * version 2.1 of the License, or (at your option) any later version.
10ad71ed68SBlue Swirl  *
11ad71ed68SBlue Swirl  * This library is distributed in the hope that it will be useful,
12ad71ed68SBlue Swirl  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13ad71ed68SBlue Swirl  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14ad71ed68SBlue Swirl  * Lesser General Public License for more details.
15ad71ed68SBlue Swirl  *
16ad71ed68SBlue Swirl  * You should have received a copy of the GNU Lesser General Public
17ad71ed68SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18ad71ed68SBlue Swirl  */
190d75590dSPeter Maydell #include "qemu/osdep.h"
20f1c29ebcSThomas Huth #include "qemu/main-loop.h"
21ad71ed68SBlue Swirl #include "cpu.h"
2263c91552SPaolo Bonzini #include "exec/exec-all.h"
230f3110faSRichard Henderson #include "internal.h"
24ad71ed68SBlue Swirl #include "helper_regs.h"
25ad71ed68SBlue Swirl 
262eb1ef73SCédric Le Goater #include "trace.h"
272eb1ef73SCédric Le Goater 
282b44e219SBruno Larsen (billionai) #ifdef CONFIG_TCG
292b44e219SBruno Larsen (billionai) #include "exec/helper-proto.h"
302b44e219SBruno Larsen (billionai) #include "exec/cpu_ldst.h"
312b44e219SBruno Larsen (billionai) #endif
322b44e219SBruno Larsen (billionai) 
33c79c73f6SBlue Swirl /*****************************************************************************/
34c79c73f6SBlue Swirl /* Exception processing */
35f725245cSPhilippe Mathieu-Daudé #if !defined(CONFIG_USER_ONLY)
3697a8ea5aSAndreas Färber 
376789f23bSCédric Le Goater static const char *powerpc_excp_name(int excp)
386789f23bSCédric Le Goater {
396789f23bSCédric Le Goater     switch (excp) {
406789f23bSCédric Le Goater     case POWERPC_EXCP_CRITICAL: return "CRITICAL";
416789f23bSCédric Le Goater     case POWERPC_EXCP_MCHECK:   return "MCHECK";
426789f23bSCédric Le Goater     case POWERPC_EXCP_DSI:      return "DSI";
436789f23bSCédric Le Goater     case POWERPC_EXCP_ISI:      return "ISI";
446789f23bSCédric Le Goater     case POWERPC_EXCP_EXTERNAL: return "EXTERNAL";
456789f23bSCédric Le Goater     case POWERPC_EXCP_ALIGN:    return "ALIGN";
466789f23bSCédric Le Goater     case POWERPC_EXCP_PROGRAM:  return "PROGRAM";
476789f23bSCédric Le Goater     case POWERPC_EXCP_FPU:      return "FPU";
486789f23bSCédric Le Goater     case POWERPC_EXCP_SYSCALL:  return "SYSCALL";
496789f23bSCédric Le Goater     case POWERPC_EXCP_APU:      return "APU";
506789f23bSCédric Le Goater     case POWERPC_EXCP_DECR:     return "DECR";
516789f23bSCédric Le Goater     case POWERPC_EXCP_FIT:      return "FIT";
526789f23bSCédric Le Goater     case POWERPC_EXCP_WDT:      return "WDT";
536789f23bSCédric Le Goater     case POWERPC_EXCP_DTLB:     return "DTLB";
546789f23bSCédric Le Goater     case POWERPC_EXCP_ITLB:     return "ITLB";
556789f23bSCédric Le Goater     case POWERPC_EXCP_DEBUG:    return "DEBUG";
566789f23bSCédric Le Goater     case POWERPC_EXCP_SPEU:     return "SPEU";
576789f23bSCédric Le Goater     case POWERPC_EXCP_EFPDI:    return "EFPDI";
586789f23bSCédric Le Goater     case POWERPC_EXCP_EFPRI:    return "EFPRI";
596789f23bSCédric Le Goater     case POWERPC_EXCP_EPERFM:   return "EPERFM";
606789f23bSCédric Le Goater     case POWERPC_EXCP_DOORI:    return "DOORI";
616789f23bSCédric Le Goater     case POWERPC_EXCP_DOORCI:   return "DOORCI";
626789f23bSCédric Le Goater     case POWERPC_EXCP_GDOORI:   return "GDOORI";
636789f23bSCédric Le Goater     case POWERPC_EXCP_GDOORCI:  return "GDOORCI";
646789f23bSCédric Le Goater     case POWERPC_EXCP_HYPPRIV:  return "HYPPRIV";
656789f23bSCédric Le Goater     case POWERPC_EXCP_RESET:    return "RESET";
666789f23bSCédric Le Goater     case POWERPC_EXCP_DSEG:     return "DSEG";
676789f23bSCédric Le Goater     case POWERPC_EXCP_ISEG:     return "ISEG";
686789f23bSCédric Le Goater     case POWERPC_EXCP_HDECR:    return "HDECR";
696789f23bSCédric Le Goater     case POWERPC_EXCP_TRACE:    return "TRACE";
706789f23bSCédric Le Goater     case POWERPC_EXCP_HDSI:     return "HDSI";
716789f23bSCédric Le Goater     case POWERPC_EXCP_HISI:     return "HISI";
726789f23bSCédric Le Goater     case POWERPC_EXCP_HDSEG:    return "HDSEG";
736789f23bSCédric Le Goater     case POWERPC_EXCP_HISEG:    return "HISEG";
746789f23bSCédric Le Goater     case POWERPC_EXCP_VPU:      return "VPU";
756789f23bSCédric Le Goater     case POWERPC_EXCP_PIT:      return "PIT";
766789f23bSCédric Le Goater     case POWERPC_EXCP_IO:       return "IO";
776789f23bSCédric Le Goater     case POWERPC_EXCP_RUNM:     return "RUNM";
786789f23bSCédric Le Goater     case POWERPC_EXCP_EMUL:     return "EMUL";
796789f23bSCédric Le Goater     case POWERPC_EXCP_IFTLB:    return "IFTLB";
806789f23bSCédric Le Goater     case POWERPC_EXCP_DLTLB:    return "DLTLB";
816789f23bSCédric Le Goater     case POWERPC_EXCP_DSTLB:    return "DSTLB";
826789f23bSCédric Le Goater     case POWERPC_EXCP_FPA:      return "FPA";
836789f23bSCédric Le Goater     case POWERPC_EXCP_DABR:     return "DABR";
846789f23bSCédric Le Goater     case POWERPC_EXCP_IABR:     return "IABR";
856789f23bSCédric Le Goater     case POWERPC_EXCP_SMI:      return "SMI";
866789f23bSCédric Le Goater     case POWERPC_EXCP_PERFM:    return "PERFM";
876789f23bSCédric Le Goater     case POWERPC_EXCP_THERM:    return "THERM";
886789f23bSCédric Le Goater     case POWERPC_EXCP_VPUA:     return "VPUA";
896789f23bSCédric Le Goater     case POWERPC_EXCP_SOFTP:    return "SOFTP";
906789f23bSCédric Le Goater     case POWERPC_EXCP_MAINT:    return "MAINT";
916789f23bSCédric Le Goater     case POWERPC_EXCP_MEXTBR:   return "MEXTBR";
926789f23bSCédric Le Goater     case POWERPC_EXCP_NMEXTBR:  return "NMEXTBR";
936789f23bSCédric Le Goater     case POWERPC_EXCP_ITLBE:    return "ITLBE";
946789f23bSCédric Le Goater     case POWERPC_EXCP_DTLBE:    return "DTLBE";
956789f23bSCédric Le Goater     case POWERPC_EXCP_VSXU:     return "VSXU";
966789f23bSCédric Le Goater     case POWERPC_EXCP_FU:       return "FU";
976789f23bSCédric Le Goater     case POWERPC_EXCP_HV_EMU:   return "HV_EMU";
986789f23bSCédric Le Goater     case POWERPC_EXCP_HV_MAINT: return "HV_MAINT";
996789f23bSCédric Le Goater     case POWERPC_EXCP_HV_FU:    return "HV_FU";
1006789f23bSCédric Le Goater     case POWERPC_EXCP_SDOOR:    return "SDOOR";
1016789f23bSCédric Le Goater     case POWERPC_EXCP_SDOOR_HV: return "SDOOR_HV";
1026789f23bSCédric Le Goater     case POWERPC_EXCP_HVIRT:    return "HVIRT";
1036789f23bSCédric Le Goater     case POWERPC_EXCP_SYSCALL_VECTORED: return "SYSCALL_VECTORED";
1046789f23bSCédric Le Goater     default:
1056789f23bSCédric Le Goater         g_assert_not_reached();
1066789f23bSCédric Le Goater     }
1076789f23bSCédric Le Goater }
1086789f23bSCédric Le Goater 
10962e79ef9SCédric Le Goater static void dump_syscall(CPUPPCState *env)
110c79c73f6SBlue Swirl {
1116dc6b557SNicholas Piggin     qemu_log_mask(CPU_LOG_INT, "syscall r0=%016" PRIx64
1126dc6b557SNicholas Piggin                   " r3=%016" PRIx64 " r4=%016" PRIx64 " r5=%016" PRIx64
1136dc6b557SNicholas Piggin                   " r6=%016" PRIx64 " r7=%016" PRIx64 " r8=%016" PRIx64
114c79c73f6SBlue Swirl                   " nip=" TARGET_FMT_lx "\n",
115c79c73f6SBlue Swirl                   ppc_dump_gpr(env, 0), ppc_dump_gpr(env, 3),
116c79c73f6SBlue Swirl                   ppc_dump_gpr(env, 4), ppc_dump_gpr(env, 5),
1176dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 6), ppc_dump_gpr(env, 7),
1186dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 8), env->nip);
1196dc6b557SNicholas Piggin }
1206dc6b557SNicholas Piggin 
12162e79ef9SCédric Le Goater static void dump_hcall(CPUPPCState *env)
1226dc6b557SNicholas Piggin {
1236dc6b557SNicholas Piggin     qemu_log_mask(CPU_LOG_INT, "hypercall r3=%016" PRIx64
1246dc6b557SNicholas Piggin                   " r4=%016" PRIx64 " r5=%016" PRIx64 " r6=%016" PRIx64
1256dc6b557SNicholas Piggin                   " r7=%016" PRIx64 " r8=%016" PRIx64 " r9=%016" PRIx64
1266dc6b557SNicholas Piggin                   " r10=%016" PRIx64 " r11=%016" PRIx64 " r12=%016" PRIx64
1276dc6b557SNicholas Piggin                   " nip=" TARGET_FMT_lx "\n",
1286dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 3), ppc_dump_gpr(env, 4),
1296dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 5), ppc_dump_gpr(env, 6),
1306dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 7), ppc_dump_gpr(env, 8),
1316dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 9), ppc_dump_gpr(env, 10),
1326dc6b557SNicholas Piggin                   ppc_dump_gpr(env, 11), ppc_dump_gpr(env, 12),
1336dc6b557SNicholas Piggin                   env->nip);
134c79c73f6SBlue Swirl }
135c79c73f6SBlue Swirl 
136e4e27df7SFabiano Rosas static void ppc_excp_debug_sw_tlb(CPUPPCState *env, int excp)
137e4e27df7SFabiano Rosas {
138e4e27df7SFabiano Rosas     const char *es;
139e4e27df7SFabiano Rosas     target_ulong *miss, *cmp;
140e4e27df7SFabiano Rosas     int en;
141e4e27df7SFabiano Rosas 
1422e089eceSFabiano Rosas     if (!qemu_loglevel_mask(CPU_LOG_MMU)) {
143e4e27df7SFabiano Rosas         return;
144e4e27df7SFabiano Rosas     }
145e4e27df7SFabiano Rosas 
146e4e27df7SFabiano Rosas     if (excp == POWERPC_EXCP_IFTLB) {
147e4e27df7SFabiano Rosas         es = "I";
148e4e27df7SFabiano Rosas         en = 'I';
149e4e27df7SFabiano Rosas         miss = &env->spr[SPR_IMISS];
150e4e27df7SFabiano Rosas         cmp = &env->spr[SPR_ICMP];
151e4e27df7SFabiano Rosas     } else {
152e4e27df7SFabiano Rosas         if (excp == POWERPC_EXCP_DLTLB) {
153e4e27df7SFabiano Rosas             es = "DL";
154e4e27df7SFabiano Rosas         } else {
155e4e27df7SFabiano Rosas             es = "DS";
156e4e27df7SFabiano Rosas         }
157e4e27df7SFabiano Rosas         en = 'D';
158e4e27df7SFabiano Rosas         miss = &env->spr[SPR_DMISS];
159e4e27df7SFabiano Rosas         cmp = &env->spr[SPR_DCMP];
160e4e27df7SFabiano Rosas     }
161e4e27df7SFabiano Rosas     qemu_log("6xx %sTLB miss: %cM " TARGET_FMT_lx " %cC "
162e4e27df7SFabiano Rosas              TARGET_FMT_lx " H1 " TARGET_FMT_lx " H2 "
163e4e27df7SFabiano Rosas              TARGET_FMT_lx " %08x\n", es, en, *miss, en, *cmp,
164e4e27df7SFabiano Rosas              env->spr[SPR_HASH1], env->spr[SPR_HASH2],
165e4e27df7SFabiano Rosas              env->error_code);
166e4e27df7SFabiano Rosas }
167e4e27df7SFabiano Rosas 
168e4e27df7SFabiano Rosas 
169dead760bSBenjamin Herrenschmidt static int powerpc_reset_wakeup(CPUState *cs, CPUPPCState *env, int excp,
170dead760bSBenjamin Herrenschmidt                                 target_ulong *msr)
171dead760bSBenjamin Herrenschmidt {
172dead760bSBenjamin Herrenschmidt     /* We no longer are in a PM state */
1731e7fd61dSBenjamin Herrenschmidt     env->resume_as_sreset = false;
174dead760bSBenjamin Herrenschmidt 
175dead760bSBenjamin Herrenschmidt     /* Pretend to be returning from doze always as we don't lose state */
1760911a60cSLeonardo Bras     *msr |= SRR1_WS_NOLOSS;
177dead760bSBenjamin Herrenschmidt 
178dead760bSBenjamin Herrenschmidt     /* Machine checks are sent normally */
179dead760bSBenjamin Herrenschmidt     if (excp == POWERPC_EXCP_MCHECK) {
180dead760bSBenjamin Herrenschmidt         return excp;
181dead760bSBenjamin Herrenschmidt     }
182dead760bSBenjamin Herrenschmidt     switch (excp) {
183dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_RESET:
1840911a60cSLeonardo Bras         *msr |= SRR1_WAKERESET;
185dead760bSBenjamin Herrenschmidt         break;
186dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_EXTERNAL:
1870911a60cSLeonardo Bras         *msr |= SRR1_WAKEEE;
188dead760bSBenjamin Herrenschmidt         break;
189dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_DECR:
1900911a60cSLeonardo Bras         *msr |= SRR1_WAKEDEC;
191dead760bSBenjamin Herrenschmidt         break;
192dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_SDOOR:
1930911a60cSLeonardo Bras         *msr |= SRR1_WAKEDBELL;
194dead760bSBenjamin Herrenschmidt         break;
195dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_SDOOR_HV:
1960911a60cSLeonardo Bras         *msr |= SRR1_WAKEHDBELL;
197dead760bSBenjamin Herrenschmidt         break;
198dead760bSBenjamin Herrenschmidt     case POWERPC_EXCP_HV_MAINT:
1990911a60cSLeonardo Bras         *msr |= SRR1_WAKEHMI;
200dead760bSBenjamin Herrenschmidt         break;
201d8ce5fd6SBenjamin Herrenschmidt     case POWERPC_EXCP_HVIRT:
2020911a60cSLeonardo Bras         *msr |= SRR1_WAKEHVI;
203d8ce5fd6SBenjamin Herrenschmidt         break;
204dead760bSBenjamin Herrenschmidt     default:
205dead760bSBenjamin Herrenschmidt         cpu_abort(cs, "Unsupported exception %d in Power Save mode\n",
206dead760bSBenjamin Herrenschmidt                   excp);
207dead760bSBenjamin Herrenschmidt     }
208dead760bSBenjamin Herrenschmidt     return POWERPC_EXCP_RESET;
209dead760bSBenjamin Herrenschmidt }
210dead760bSBenjamin Herrenschmidt 
2118b7e6b07SNicholas Piggin /*
2128b7e6b07SNicholas Piggin  * AIL - Alternate Interrupt Location, a mode that allows interrupts to be
2138b7e6b07SNicholas Piggin  * taken with the MMU on, and which uses an alternate location (e.g., so the
2148b7e6b07SNicholas Piggin  * kernel/hv can map the vectors there with an effective address).
2158b7e6b07SNicholas Piggin  *
2168b7e6b07SNicholas Piggin  * An interrupt is considered to be taken "with AIL" or "AIL applies" if they
2178b7e6b07SNicholas Piggin  * are delivered in this way. AIL requires the LPCR to be set to enable this
2188b7e6b07SNicholas Piggin  * mode, and then a number of conditions have to be true for AIL to apply.
2198b7e6b07SNicholas Piggin  *
2208b7e6b07SNicholas Piggin  * First of all, SRESET, MCE, and HMI are always delivered without AIL, because
2218b7e6b07SNicholas Piggin  * they specifically want to be in real mode (e.g., the MCE might be signaling
2228b7e6b07SNicholas Piggin  * a SLB multi-hit which requires SLB flush before the MMU can be enabled).
2238b7e6b07SNicholas Piggin  *
2248b7e6b07SNicholas Piggin  * After that, behaviour depends on the current MSR[IR], MSR[DR], MSR[HV],
2258b7e6b07SNicholas Piggin  * whether or not the interrupt changes MSR[HV] from 0 to 1, and the current
2268b7e6b07SNicholas Piggin  * radix mode (LPCR[HR]).
2278b7e6b07SNicholas Piggin  *
2288b7e6b07SNicholas Piggin  * POWER8, POWER9 with LPCR[HR]=0
2298b7e6b07SNicholas Piggin  * | LPCR[AIL] | MSR[IR||DR] | MSR[HV] | new MSR[HV] | AIL |
2308b7e6b07SNicholas Piggin  * +-----------+-------------+---------+-------------+-----+
2318b7e6b07SNicholas Piggin  * | a         | 00/01/10    | x       | x           | 0   |
2328b7e6b07SNicholas Piggin  * | a         | 11          | 0       | 1           | 0   |
2338b7e6b07SNicholas Piggin  * | a         | 11          | 1       | 1           | a   |
2348b7e6b07SNicholas Piggin  * | a         | 11          | 0       | 0           | a   |
2358b7e6b07SNicholas Piggin  * +-------------------------------------------------------+
2368b7e6b07SNicholas Piggin  *
2378b7e6b07SNicholas Piggin  * POWER9 with LPCR[HR]=1
2388b7e6b07SNicholas Piggin  * | LPCR[AIL] | MSR[IR||DR] | MSR[HV] | new MSR[HV] | AIL |
2398b7e6b07SNicholas Piggin  * +-----------+-------------+---------+-------------+-----+
2408b7e6b07SNicholas Piggin  * | a         | 00/01/10    | x       | x           | 0   |
2418b7e6b07SNicholas Piggin  * | a         | 11          | x       | x           | a   |
2428b7e6b07SNicholas Piggin  * +-------------------------------------------------------+
2438b7e6b07SNicholas Piggin  *
2448b7e6b07SNicholas Piggin  * The difference with POWER9 being that MSR[HV] 0->1 interrupts can be sent to
245526cdce7SNicholas Piggin  * the hypervisor in AIL mode if the guest is radix. This is good for
246526cdce7SNicholas Piggin  * performance but allows the guest to influence the AIL of hypervisor
247526cdce7SNicholas Piggin  * interrupts using its MSR, and also the hypervisor must disallow guest
248526cdce7SNicholas Piggin  * interrupts (MSR[HV] 0->0) from using AIL if the hypervisor does not want to
249526cdce7SNicholas Piggin  * use AIL for its MSR[HV] 0->1 interrupts.
250526cdce7SNicholas Piggin  *
251526cdce7SNicholas Piggin  * POWER10 addresses those issues with a new LPCR[HAIL] bit that is applied to
252526cdce7SNicholas Piggin  * interrupts that begin execution with MSR[HV]=1 (so both MSR[HV] 0->1 and
253526cdce7SNicholas Piggin  * MSR[HV] 1->1).
254526cdce7SNicholas Piggin  *
255526cdce7SNicholas Piggin  * HAIL=1 is equivalent to AIL=3, for interrupts delivered with MSR[HV]=1.
256526cdce7SNicholas Piggin  *
257526cdce7SNicholas Piggin  * POWER10 behaviour is
258526cdce7SNicholas Piggin  * | LPCR[AIL] | LPCR[HAIL] | MSR[IR||DR] | MSR[HV] | new MSR[HV] | AIL |
259526cdce7SNicholas Piggin  * +-----------+------------+-------------+---------+-------------+-----+
260526cdce7SNicholas Piggin  * | a         | h          | 00/01/10    | 0       | 0           | 0   |
261526cdce7SNicholas Piggin  * | a         | h          | 11          | 0       | 0           | a   |
262526cdce7SNicholas Piggin  * | a         | h          | x           | 0       | 1           | h   |
263526cdce7SNicholas Piggin  * | a         | h          | 00/01/10    | 1       | 1           | 0   |
264526cdce7SNicholas Piggin  * | a         | h          | 11          | 1       | 1           | h   |
265526cdce7SNicholas Piggin  * +--------------------------------------------------------------------+
2668b7e6b07SNicholas Piggin  */
26762e79ef9SCédric Le Goater static void ppc_excp_apply_ail(PowerPCCPU *cpu, int excp_model, int excp,
2688b7e6b07SNicholas Piggin                                       target_ulong msr,
2698b7e6b07SNicholas Piggin                                       target_ulong *new_msr,
2708b7e6b07SNicholas Piggin                                       target_ulong *vector)
2712586a4d7SFabiano Rosas {
2728b7e6b07SNicholas Piggin #if defined(TARGET_PPC64)
2738b7e6b07SNicholas Piggin     CPUPPCState *env = &cpu->env;
2748b7e6b07SNicholas Piggin     bool mmu_all_on = ((msr >> MSR_IR) & 1) && ((msr >> MSR_DR) & 1);
2758b7e6b07SNicholas Piggin     bool hv_escalation = !(msr & MSR_HVB) && (*new_msr & MSR_HVB);
2768b7e6b07SNicholas Piggin     int ail = 0;
2772586a4d7SFabiano Rosas 
2788b7e6b07SNicholas Piggin     if (excp == POWERPC_EXCP_MCHECK ||
2798b7e6b07SNicholas Piggin         excp == POWERPC_EXCP_RESET ||
2808b7e6b07SNicholas Piggin         excp == POWERPC_EXCP_HV_MAINT) {
2818b7e6b07SNicholas Piggin         /* SRESET, MCE, HMI never apply AIL */
2828b7e6b07SNicholas Piggin         return;
2832586a4d7SFabiano Rosas     }
2842586a4d7SFabiano Rosas 
2858b7e6b07SNicholas Piggin     if (excp_model == POWERPC_EXCP_POWER8 ||
2868b7e6b07SNicholas Piggin         excp_model == POWERPC_EXCP_POWER9) {
2878b7e6b07SNicholas Piggin         if (!mmu_all_on) {
2888b7e6b07SNicholas Piggin             /* AIL only works if MSR[IR] and MSR[DR] are both enabled. */
2898b7e6b07SNicholas Piggin             return;
2908b7e6b07SNicholas Piggin         }
2918b7e6b07SNicholas Piggin         if (hv_escalation && !(env->spr[SPR_LPCR] & LPCR_HR)) {
2928b7e6b07SNicholas Piggin             /*
2938b7e6b07SNicholas Piggin              * AIL does not work if there is a MSR[HV] 0->1 transition and the
2948b7e6b07SNicholas Piggin              * partition is in HPT mode. For radix guests, such interrupts are
2958b7e6b07SNicholas Piggin              * allowed to be delivered to the hypervisor in ail mode.
2968b7e6b07SNicholas Piggin              */
2978b7e6b07SNicholas Piggin             return;
2988b7e6b07SNicholas Piggin         }
2998b7e6b07SNicholas Piggin 
3008b7e6b07SNicholas Piggin         ail = (env->spr[SPR_LPCR] & LPCR_AIL) >> LPCR_AIL_SHIFT;
3018b7e6b07SNicholas Piggin         if (ail == 0) {
3028b7e6b07SNicholas Piggin             return;
3038b7e6b07SNicholas Piggin         }
3048b7e6b07SNicholas Piggin         if (ail == 1) {
3058b7e6b07SNicholas Piggin             /* AIL=1 is reserved, treat it like AIL=0 */
3068b7e6b07SNicholas Piggin             return;
3078b7e6b07SNicholas Piggin         }
308526cdce7SNicholas Piggin 
309526cdce7SNicholas Piggin     } else if (excp_model == POWERPC_EXCP_POWER10) {
310526cdce7SNicholas Piggin         if (!mmu_all_on && !hv_escalation) {
311526cdce7SNicholas Piggin             /*
312526cdce7SNicholas Piggin              * AIL works for HV interrupts even with guest MSR[IR/DR] disabled.
313526cdce7SNicholas Piggin              * Guest->guest and HV->HV interrupts do require MMU on.
314526cdce7SNicholas Piggin              */
315526cdce7SNicholas Piggin             return;
316526cdce7SNicholas Piggin         }
317526cdce7SNicholas Piggin 
318526cdce7SNicholas Piggin         if (*new_msr & MSR_HVB) {
319526cdce7SNicholas Piggin             if (!(env->spr[SPR_LPCR] & LPCR_HAIL)) {
320526cdce7SNicholas Piggin                 /* HV interrupts depend on LPCR[HAIL] */
321526cdce7SNicholas Piggin                 return;
322526cdce7SNicholas Piggin             }
323526cdce7SNicholas Piggin             ail = 3; /* HAIL=1 gives AIL=3 behaviour for HV interrupts */
324526cdce7SNicholas Piggin         } else {
325526cdce7SNicholas Piggin             ail = (env->spr[SPR_LPCR] & LPCR_AIL) >> LPCR_AIL_SHIFT;
326526cdce7SNicholas Piggin         }
327526cdce7SNicholas Piggin         if (ail == 0) {
328526cdce7SNicholas Piggin             return;
329526cdce7SNicholas Piggin         }
330526cdce7SNicholas Piggin         if (ail == 1 || ail == 2) {
331526cdce7SNicholas Piggin             /* AIL=1 and AIL=2 are reserved, treat them like AIL=0 */
332526cdce7SNicholas Piggin             return;
333526cdce7SNicholas Piggin         }
3348b7e6b07SNicholas Piggin     } else {
3358b7e6b07SNicholas Piggin         /* Other processors do not support AIL */
3368b7e6b07SNicholas Piggin         return;
3378b7e6b07SNicholas Piggin     }
3388b7e6b07SNicholas Piggin 
3398b7e6b07SNicholas Piggin     /*
3408b7e6b07SNicholas Piggin      * AIL applies, so the new MSR gets IR and DR set, and an offset applied
3418b7e6b07SNicholas Piggin      * to the new IP.
3428b7e6b07SNicholas Piggin      */
3438b7e6b07SNicholas Piggin     *new_msr |= (1 << MSR_IR) | (1 << MSR_DR);
3448b7e6b07SNicholas Piggin 
3458b7e6b07SNicholas Piggin     if (excp != POWERPC_EXCP_SYSCALL_VECTORED) {
3468b7e6b07SNicholas Piggin         if (ail == 2) {
3478b7e6b07SNicholas Piggin             *vector |= 0x0000000000018000ull;
3488b7e6b07SNicholas Piggin         } else if (ail == 3) {
3498b7e6b07SNicholas Piggin             *vector |= 0xc000000000004000ull;
3508b7e6b07SNicholas Piggin         }
3518b7e6b07SNicholas Piggin     } else {
3528b7e6b07SNicholas Piggin         /*
3538b7e6b07SNicholas Piggin          * scv AIL is a little different. AIL=2 does not change the address,
3548b7e6b07SNicholas Piggin          * only the MSR. AIL=3 replaces the 0x17000 base with 0xc...3000.
3558b7e6b07SNicholas Piggin          */
3568b7e6b07SNicholas Piggin         if (ail == 3) {
3578b7e6b07SNicholas Piggin             *vector &= ~0x0000000000017000ull; /* Un-apply the base offset */
3588b7e6b07SNicholas Piggin             *vector |= 0xc000000000003000ull; /* Apply scv's AIL=3 offset */
3598b7e6b07SNicholas Piggin         }
3608b7e6b07SNicholas Piggin     }
3618b7e6b07SNicholas Piggin #endif
3622586a4d7SFabiano Rosas }
363dead760bSBenjamin Herrenschmidt 
36462e79ef9SCédric Le Goater static void powerpc_set_excp_state(PowerPCCPU *cpu,
365ad77c6caSNicholas Piggin                                           target_ulong vector, target_ulong msr)
366ad77c6caSNicholas Piggin {
367ad77c6caSNicholas Piggin     CPUState *cs = CPU(cpu);
368ad77c6caSNicholas Piggin     CPUPPCState *env = &cpu->env;
369ad77c6caSNicholas Piggin 
370ad77c6caSNicholas Piggin     /*
371ad77c6caSNicholas Piggin      * We don't use hreg_store_msr here as already have treated any
372ad77c6caSNicholas Piggin      * special case that could occur. Just store MSR and update hflags
373ad77c6caSNicholas Piggin      *
374ad77c6caSNicholas Piggin      * Note: We *MUST* not use hreg_store_msr() as-is anyway because it
375ad77c6caSNicholas Piggin      * will prevent setting of the HV bit which some exceptions might need
376ad77c6caSNicholas Piggin      * to do.
377ad77c6caSNicholas Piggin      */
378ad77c6caSNicholas Piggin     env->msr = msr & env->msr_mask;
379ad77c6caSNicholas Piggin     hreg_compute_hflags(env);
380ad77c6caSNicholas Piggin     env->nip = vector;
381ad77c6caSNicholas Piggin     /* Reset exception state */
382ad77c6caSNicholas Piggin     cs->exception_index = POWERPC_EXCP_NONE;
383ad77c6caSNicholas Piggin     env->error_code = 0;
384ad77c6caSNicholas Piggin 
385ad77c6caSNicholas Piggin     /* Reset the reservation */
386ad77c6caSNicholas Piggin     env->reserve_addr = -1;
387ad77c6caSNicholas Piggin 
388ad77c6caSNicholas Piggin     /*
389ad77c6caSNicholas Piggin      * Any interrupt is context synchronizing, check if TCG TLB needs
390ad77c6caSNicholas Piggin      * a delayed flush on ppc64
391ad77c6caSNicholas Piggin      */
392ad77c6caSNicholas Piggin     check_tlb_flush(env, false);
393ad77c6caSNicholas Piggin }
394ad77c6caSNicholas Piggin 
395e808c2edSFabiano Rosas static void powerpc_excp_40x(PowerPCCPU *cpu, int excp)
396e808c2edSFabiano Rosas {
397e808c2edSFabiano Rosas     CPUState *cs = CPU(cpu);
398e808c2edSFabiano Rosas     CPUPPCState *env = &cpu->env;
399e808c2edSFabiano Rosas     target_ulong msr, new_msr, vector;
4008428cdb2SFabiano Rosas     int srr0, srr1;
401e808c2edSFabiano Rosas 
402e808c2edSFabiano Rosas     if (excp <= POWERPC_EXCP_NONE || excp >= POWERPC_EXCP_NB) {
403e808c2edSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
404e808c2edSFabiano Rosas     }
405e808c2edSFabiano Rosas 
406e808c2edSFabiano Rosas     qemu_log_mask(CPU_LOG_INT, "Raise exception at " TARGET_FMT_lx
407e808c2edSFabiano Rosas                   " => %s (%d) error=%02x\n", env->nip, powerpc_excp_name(excp),
408e808c2edSFabiano Rosas                   excp, env->error_code);
409e808c2edSFabiano Rosas 
410e808c2edSFabiano Rosas     /* new srr1 value excluding must-be-zero bits */
411e808c2edSFabiano Rosas     msr = env->msr & ~0x783f0000ULL;
412e808c2edSFabiano Rosas 
413e808c2edSFabiano Rosas     /*
414495fc7ffSFabiano Rosas      * new interrupt handler msr preserves existing ME unless
415495fc7ffSFabiano Rosas      * explicitly overriden.
416e808c2edSFabiano Rosas      */
417495fc7ffSFabiano Rosas     new_msr = env->msr & (((target_ulong)1 << MSR_ME));
418e808c2edSFabiano Rosas 
419e808c2edSFabiano Rosas     /* target registers */
420e808c2edSFabiano Rosas     srr0 = SPR_SRR0;
421e808c2edSFabiano Rosas     srr1 = SPR_SRR1;
422e808c2edSFabiano Rosas 
423e808c2edSFabiano Rosas     /*
424e808c2edSFabiano Rosas      * Hypervisor emulation assistance interrupt only exists on server
425495fc7ffSFabiano Rosas      * arch 2.05 server or later.
426e808c2edSFabiano Rosas      */
427495fc7ffSFabiano Rosas     if (excp == POWERPC_EXCP_HV_EMU) {
428e808c2edSFabiano Rosas         excp = POWERPC_EXCP_PROGRAM;
429e808c2edSFabiano Rosas     }
430e808c2edSFabiano Rosas 
431e808c2edSFabiano Rosas     vector = env->excp_vectors[excp];
432e808c2edSFabiano Rosas     if (vector == (target_ulong)-1ULL) {
433e808c2edSFabiano Rosas         cpu_abort(cs, "Raised an exception without defined vector %d\n",
434e808c2edSFabiano Rosas                   excp);
435e808c2edSFabiano Rosas     }
436e808c2edSFabiano Rosas 
437e808c2edSFabiano Rosas     vector |= env->excp_prefix;
438e808c2edSFabiano Rosas 
439e808c2edSFabiano Rosas     switch (excp) {
440e808c2edSFabiano Rosas     case POWERPC_EXCP_CRITICAL:    /* Critical input                         */
441e808c2edSFabiano Rosas         srr0 = SPR_40x_SRR2;
442e808c2edSFabiano Rosas         srr1 = SPR_40x_SRR3;
443e808c2edSFabiano Rosas         break;
444e808c2edSFabiano Rosas     case POWERPC_EXCP_MCHECK:    /* Machine check exception                  */
445e808c2edSFabiano Rosas         if (msr_me == 0) {
446e808c2edSFabiano Rosas             /*
447e808c2edSFabiano Rosas              * Machine check exception is not enabled.  Enter
448e808c2edSFabiano Rosas              * checkstop state.
449e808c2edSFabiano Rosas              */
450e808c2edSFabiano Rosas             fprintf(stderr, "Machine check while not allowed. "
451e808c2edSFabiano Rosas                     "Entering checkstop state\n");
452e808c2edSFabiano Rosas             if (qemu_log_separate()) {
453e808c2edSFabiano Rosas                 qemu_log("Machine check while not allowed. "
454e808c2edSFabiano Rosas                         "Entering checkstop state\n");
455e808c2edSFabiano Rosas             }
456e808c2edSFabiano Rosas             cs->halted = 1;
457e808c2edSFabiano Rosas             cpu_interrupt_exittb(cs);
458e808c2edSFabiano Rosas         }
459e808c2edSFabiano Rosas 
460e808c2edSFabiano Rosas         /* machine check exceptions don't have ME set */
461e808c2edSFabiano Rosas         new_msr &= ~((target_ulong)1 << MSR_ME);
462e808c2edSFabiano Rosas 
463e808c2edSFabiano Rosas         srr0 = SPR_40x_SRR2;
464e808c2edSFabiano Rosas         srr1 = SPR_40x_SRR3;
465e808c2edSFabiano Rosas         break;
466e808c2edSFabiano Rosas     case POWERPC_EXCP_DSI:       /* Data storage exception                   */
467f9911e1eSFabiano Rosas         trace_ppc_excp_dsi(env->spr[SPR_40x_ESR], env->spr[SPR_40x_DEAR]);
468e808c2edSFabiano Rosas         break;
469e808c2edSFabiano Rosas     case POWERPC_EXCP_ISI:       /* Instruction storage exception            */
470e808c2edSFabiano Rosas         trace_ppc_excp_isi(msr, env->nip);
471e808c2edSFabiano Rosas         break;
472e808c2edSFabiano Rosas     case POWERPC_EXCP_EXTERNAL:  /* External input                           */
473e808c2edSFabiano Rosas         break;
474e808c2edSFabiano Rosas     case POWERPC_EXCP_ALIGN:     /* Alignment exception                      */
475e808c2edSFabiano Rosas         break;
476e808c2edSFabiano Rosas     case POWERPC_EXCP_PROGRAM:   /* Program exception                        */
477e808c2edSFabiano Rosas         switch (env->error_code & ~0xF) {
478e808c2edSFabiano Rosas         case POWERPC_EXCP_FP:
479e808c2edSFabiano Rosas             if ((msr_fe0 == 0 && msr_fe1 == 0) || msr_fp == 0) {
480e808c2edSFabiano Rosas                 trace_ppc_excp_fp_ignore();
481e808c2edSFabiano Rosas                 cs->exception_index = POWERPC_EXCP_NONE;
482e808c2edSFabiano Rosas                 env->error_code = 0;
483e808c2edSFabiano Rosas                 return;
484e808c2edSFabiano Rosas             }
48564e62cfbSFabiano Rosas             env->spr[SPR_40x_ESR] = ESR_FP;
486e808c2edSFabiano Rosas             break;
487e808c2edSFabiano Rosas         case POWERPC_EXCP_INVAL:
488e808c2edSFabiano Rosas             trace_ppc_excp_inval(env->nip);
48964e62cfbSFabiano Rosas             env->spr[SPR_40x_ESR] = ESR_PIL;
490e808c2edSFabiano Rosas             break;
491e808c2edSFabiano Rosas         case POWERPC_EXCP_PRIV:
49264e62cfbSFabiano Rosas             env->spr[SPR_40x_ESR] = ESR_PPR;
493e808c2edSFabiano Rosas             break;
494e808c2edSFabiano Rosas         case POWERPC_EXCP_TRAP:
49564e62cfbSFabiano Rosas             env->spr[SPR_40x_ESR] = ESR_PTR;
496e808c2edSFabiano Rosas             break;
497e808c2edSFabiano Rosas         default:
498e808c2edSFabiano Rosas             cpu_abort(cs, "Invalid program exception %d. Aborting\n",
499e808c2edSFabiano Rosas                       env->error_code);
500e808c2edSFabiano Rosas             break;
501e808c2edSFabiano Rosas         }
502e808c2edSFabiano Rosas         break;
503e808c2edSFabiano Rosas     case POWERPC_EXCP_SYSCALL:   /* System call exception                    */
504e808c2edSFabiano Rosas         dump_syscall(env);
505e808c2edSFabiano Rosas 
506e808c2edSFabiano Rosas         /*
507e808c2edSFabiano Rosas          * We need to correct the NIP which in this case is supposed
508e808c2edSFabiano Rosas          * to point to the next instruction
509e808c2edSFabiano Rosas          */
510e808c2edSFabiano Rosas         env->nip += 4;
511e808c2edSFabiano Rosas         break;
512e808c2edSFabiano Rosas     case POWERPC_EXCP_FIT:       /* Fixed-interval timer interrupt           */
513e808c2edSFabiano Rosas         trace_ppc_excp_print("FIT");
514e808c2edSFabiano Rosas         break;
515e808c2edSFabiano Rosas     case POWERPC_EXCP_WDT:       /* Watchdog timer interrupt                 */
516e808c2edSFabiano Rosas         trace_ppc_excp_print("WDT");
517e808c2edSFabiano Rosas         break;
518e808c2edSFabiano Rosas     case POWERPC_EXCP_DTLB:      /* Data TLB error                           */
519e808c2edSFabiano Rosas     case POWERPC_EXCP_ITLB:      /* Instruction TLB error                    */
520e808c2edSFabiano Rosas         break;
521e808c2edSFabiano Rosas     case POWERPC_EXCP_PIT:       /* Programmable interval timer interrupt    */
522e808c2edSFabiano Rosas         trace_ppc_excp_print("PIT");
523e808c2edSFabiano Rosas         break;
5244d8ac1d1SFabiano Rosas     case POWERPC_EXCP_DEBUG:     /* Debug interrupt                          */
5254d8ac1d1SFabiano Rosas         cpu_abort(cs, "%s exception not implemented\n",
5264d8ac1d1SFabiano Rosas                   powerpc_excp_name(excp));
5274d8ac1d1SFabiano Rosas         break;
528e808c2edSFabiano Rosas     default:
529e808c2edSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
530e808c2edSFabiano Rosas         break;
531e808c2edSFabiano Rosas     }
532e808c2edSFabiano Rosas 
533e808c2edSFabiano Rosas     /* Sanity check */
534e808c2edSFabiano Rosas     if (!(env->msr_mask & MSR_HVB)) {
535e808c2edSFabiano Rosas         if (new_msr & MSR_HVB) {
536e808c2edSFabiano Rosas             cpu_abort(cs, "Trying to deliver HV exception (MSR) %d with "
537e808c2edSFabiano Rosas                       "no HV support\n", excp);
538e808c2edSFabiano Rosas         }
539e808c2edSFabiano Rosas         if (srr0 == SPR_HSRR0) {
540e808c2edSFabiano Rosas             cpu_abort(cs, "Trying to deliver HV exception (HSRR) %d with "
541e808c2edSFabiano Rosas                       "no HV support\n", excp);
542e808c2edSFabiano Rosas         }
543e808c2edSFabiano Rosas     }
544e808c2edSFabiano Rosas 
545e808c2edSFabiano Rosas     /* Save PC */
546e808c2edSFabiano Rosas     env->spr[srr0] = env->nip;
547e808c2edSFabiano Rosas 
548e808c2edSFabiano Rosas     /* Save MSR */
549e808c2edSFabiano Rosas     env->spr[srr1] = msr;
550e808c2edSFabiano Rosas 
551e808c2edSFabiano Rosas     powerpc_set_excp_state(cpu, vector, new_msr);
552e808c2edSFabiano Rosas }
553e808c2edSFabiano Rosas 
55452926b0dSFabiano Rosas static void powerpc_excp_74xx(PowerPCCPU *cpu, int excp)
55552926b0dSFabiano Rosas {
55652926b0dSFabiano Rosas     CPUState *cs = CPU(cpu);
55752926b0dSFabiano Rosas     CPUPPCState *env = &cpu->env;
55852926b0dSFabiano Rosas     target_ulong msr, new_msr, vector;
55952926b0dSFabiano Rosas 
56052926b0dSFabiano Rosas     if (excp <= POWERPC_EXCP_NONE || excp >= POWERPC_EXCP_NB) {
56152926b0dSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
56252926b0dSFabiano Rosas     }
56352926b0dSFabiano Rosas 
56452926b0dSFabiano Rosas     qemu_log_mask(CPU_LOG_INT, "Raise exception at " TARGET_FMT_lx
56552926b0dSFabiano Rosas                   " => %s (%d) error=%02x\n", env->nip, powerpc_excp_name(excp),
56652926b0dSFabiano Rosas                   excp, env->error_code);
56752926b0dSFabiano Rosas 
56852926b0dSFabiano Rosas     /* new srr1 value excluding must-be-zero bits */
56952926b0dSFabiano Rosas     msr = env->msr & ~0x783f0000ULL;
57052926b0dSFabiano Rosas 
57152926b0dSFabiano Rosas     /*
5721f6faf8bSFabiano Rosas      * new interrupt handler msr preserves existing ME unless
57352926b0dSFabiano Rosas      * explicitly overriden
57452926b0dSFabiano Rosas      */
5751f6faf8bSFabiano Rosas     new_msr = env->msr & ((target_ulong)1 << MSR_ME);
57652926b0dSFabiano Rosas 
57752926b0dSFabiano Rosas     /*
57852926b0dSFabiano Rosas      * Hypervisor emulation assistance interrupt only exists on server
5791f6faf8bSFabiano Rosas      * arch 2.05 server or later.
58052926b0dSFabiano Rosas      */
5811f6faf8bSFabiano Rosas     if (excp == POWERPC_EXCP_HV_EMU) {
58252926b0dSFabiano Rosas         excp = POWERPC_EXCP_PROGRAM;
58352926b0dSFabiano Rosas     }
58452926b0dSFabiano Rosas 
58552926b0dSFabiano Rosas     vector = env->excp_vectors[excp];
58652926b0dSFabiano Rosas     if (vector == (target_ulong)-1ULL) {
58752926b0dSFabiano Rosas         cpu_abort(cs, "Raised an exception without defined vector %d\n",
58852926b0dSFabiano Rosas                   excp);
58952926b0dSFabiano Rosas     }
59052926b0dSFabiano Rosas 
59152926b0dSFabiano Rosas     vector |= env->excp_prefix;
59252926b0dSFabiano Rosas 
59352926b0dSFabiano Rosas     switch (excp) {
59452926b0dSFabiano Rosas     case POWERPC_EXCP_MCHECK:    /* Machine check exception                  */
59552926b0dSFabiano Rosas         if (msr_me == 0) {
59652926b0dSFabiano Rosas             /*
59752926b0dSFabiano Rosas              * Machine check exception is not enabled.  Enter
59852926b0dSFabiano Rosas              * checkstop state.
59952926b0dSFabiano Rosas              */
60052926b0dSFabiano Rosas             fprintf(stderr, "Machine check while not allowed. "
60152926b0dSFabiano Rosas                     "Entering checkstop state\n");
60252926b0dSFabiano Rosas             if (qemu_log_separate()) {
60352926b0dSFabiano Rosas                 qemu_log("Machine check while not allowed. "
60452926b0dSFabiano Rosas                         "Entering checkstop state\n");
60552926b0dSFabiano Rosas             }
60652926b0dSFabiano Rosas             cs->halted = 1;
60752926b0dSFabiano Rosas             cpu_interrupt_exittb(cs);
60852926b0dSFabiano Rosas         }
60952926b0dSFabiano Rosas 
61052926b0dSFabiano Rosas         /* machine check exceptions don't have ME set */
61152926b0dSFabiano Rosas         new_msr &= ~((target_ulong)1 << MSR_ME);
61252926b0dSFabiano Rosas 
61352926b0dSFabiano Rosas         break;
61452926b0dSFabiano Rosas     case POWERPC_EXCP_DSI:       /* Data storage exception                   */
61552926b0dSFabiano Rosas         trace_ppc_excp_dsi(env->spr[SPR_DSISR], env->spr[SPR_DAR]);
61652926b0dSFabiano Rosas         break;
61752926b0dSFabiano Rosas     case POWERPC_EXCP_ISI:       /* Instruction storage exception            */
61852926b0dSFabiano Rosas         trace_ppc_excp_isi(msr, env->nip);
61952926b0dSFabiano Rosas         msr |= env->error_code;
62052926b0dSFabiano Rosas         break;
62152926b0dSFabiano Rosas     case POWERPC_EXCP_EXTERNAL:  /* External input                           */
62252926b0dSFabiano Rosas         break;
62352926b0dSFabiano Rosas     case POWERPC_EXCP_ALIGN:     /* Alignment exception                      */
62452926b0dSFabiano Rosas         /* Get rS/rD and rA from faulting opcode */
62552926b0dSFabiano Rosas         /*
62652926b0dSFabiano Rosas          * Note: the opcode fields will not be set properly for a
62752926b0dSFabiano Rosas          * direct store load/store, but nobody cares as nobody
62852926b0dSFabiano Rosas          * actually uses direct store segments.
62952926b0dSFabiano Rosas          */
63052926b0dSFabiano Rosas         env->spr[SPR_DSISR] |= (env->error_code & 0x03FF0000) >> 16;
63152926b0dSFabiano Rosas         break;
63252926b0dSFabiano Rosas     case POWERPC_EXCP_PROGRAM:   /* Program exception                        */
63352926b0dSFabiano Rosas         switch (env->error_code & ~0xF) {
63452926b0dSFabiano Rosas         case POWERPC_EXCP_FP:
63552926b0dSFabiano Rosas             if ((msr_fe0 == 0 && msr_fe1 == 0) || msr_fp == 0) {
63652926b0dSFabiano Rosas                 trace_ppc_excp_fp_ignore();
63752926b0dSFabiano Rosas                 cs->exception_index = POWERPC_EXCP_NONE;
63852926b0dSFabiano Rosas                 env->error_code = 0;
63952926b0dSFabiano Rosas                 return;
64052926b0dSFabiano Rosas             }
64152926b0dSFabiano Rosas 
64252926b0dSFabiano Rosas             /*
64352926b0dSFabiano Rosas              * FP exceptions always have NIP pointing to the faulting
64452926b0dSFabiano Rosas              * instruction, so always use store_next and claim we are
64552926b0dSFabiano Rosas              * precise in the MSR.
64652926b0dSFabiano Rosas              */
64752926b0dSFabiano Rosas             msr |= 0x00100000;
64852926b0dSFabiano Rosas             break;
64952926b0dSFabiano Rosas         case POWERPC_EXCP_INVAL:
65052926b0dSFabiano Rosas             trace_ppc_excp_inval(env->nip);
65152926b0dSFabiano Rosas             msr |= 0x00080000;
65252926b0dSFabiano Rosas             break;
65352926b0dSFabiano Rosas         case POWERPC_EXCP_PRIV:
65452926b0dSFabiano Rosas             msr |= 0x00040000;
65552926b0dSFabiano Rosas             break;
65652926b0dSFabiano Rosas         case POWERPC_EXCP_TRAP:
65752926b0dSFabiano Rosas             msr |= 0x00020000;
65852926b0dSFabiano Rosas             break;
65952926b0dSFabiano Rosas         default:
66052926b0dSFabiano Rosas             /* Should never occur */
66152926b0dSFabiano Rosas             cpu_abort(cs, "Invalid program exception %d. Aborting\n",
66252926b0dSFabiano Rosas                       env->error_code);
66352926b0dSFabiano Rosas             break;
66452926b0dSFabiano Rosas         }
66552926b0dSFabiano Rosas         break;
66652926b0dSFabiano Rosas     case POWERPC_EXCP_SYSCALL:   /* System call exception                    */
667bca2c6d9SFabiano Rosas     {
668bca2c6d9SFabiano Rosas         int lev = env->error_code;
66952926b0dSFabiano Rosas 
67052926b0dSFabiano Rosas         if ((lev == 1) && cpu->vhyp) {
67152926b0dSFabiano Rosas             dump_hcall(env);
67252926b0dSFabiano Rosas         } else {
67352926b0dSFabiano Rosas             dump_syscall(env);
67452926b0dSFabiano Rosas         }
67552926b0dSFabiano Rosas 
67652926b0dSFabiano Rosas         /*
67752926b0dSFabiano Rosas          * We need to correct the NIP which in this case is supposed
67852926b0dSFabiano Rosas          * to point to the next instruction
67952926b0dSFabiano Rosas          */
68052926b0dSFabiano Rosas         env->nip += 4;
68152926b0dSFabiano Rosas 
682bca2c6d9SFabiano Rosas         /*
683bca2c6d9SFabiano Rosas          * The Virtual Open Firmware (VOF) relies on the 'sc 1'
684bca2c6d9SFabiano Rosas          * instruction to communicate with QEMU. The pegasos2 machine
685bca2c6d9SFabiano Rosas          * uses VOF and the 74xx CPUs, so although the 74xx don't have
686bca2c6d9SFabiano Rosas          * HV mode, we need to keep hypercall support.
687bca2c6d9SFabiano Rosas          */
68852926b0dSFabiano Rosas         if ((lev == 1) && cpu->vhyp) {
68952926b0dSFabiano Rosas             PPCVirtualHypervisorClass *vhc =
69052926b0dSFabiano Rosas                 PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
69152926b0dSFabiano Rosas             vhc->hypercall(cpu->vhyp, cpu);
69252926b0dSFabiano Rosas             return;
69352926b0dSFabiano Rosas         }
694bca2c6d9SFabiano Rosas 
69552926b0dSFabiano Rosas         break;
696bca2c6d9SFabiano Rosas     }
69752926b0dSFabiano Rosas     case POWERPC_EXCP_FPU:       /* Floating-point unavailable exception     */
69852926b0dSFabiano Rosas     case POWERPC_EXCP_DECR:      /* Decrementer exception                    */
69952926b0dSFabiano Rosas         break;
70052926b0dSFabiano Rosas     case POWERPC_EXCP_RESET:     /* System reset exception                   */
70152926b0dSFabiano Rosas         if (msr_pow) {
70252926b0dSFabiano Rosas             cpu_abort(cs, "Trying to deliver power-saving system reset "
70352926b0dSFabiano Rosas                       "exception %d with no HV support\n", excp);
70452926b0dSFabiano Rosas         }
70552926b0dSFabiano Rosas         break;
70652926b0dSFabiano Rosas     case POWERPC_EXCP_TRACE:     /* Trace exception                          */
70752926b0dSFabiano Rosas         break;
70852926b0dSFabiano Rosas     case POWERPC_EXCP_VPU:       /* Vector unavailable exception             */
70952926b0dSFabiano Rosas         break;
71052926b0dSFabiano Rosas     case POWERPC_EXCP_IABR:      /* Instruction address breakpoint           */
71152926b0dSFabiano Rosas     case POWERPC_EXCP_SMI:       /* System management interrupt              */
71252926b0dSFabiano Rosas     case POWERPC_EXCP_THERM:     /* Thermal interrupt                        */
71352926b0dSFabiano Rosas     case POWERPC_EXCP_PERFM:     /* Embedded performance monitor interrupt   */
71452926b0dSFabiano Rosas     case POWERPC_EXCP_VPUA:      /* Vector assist exception                  */
71552926b0dSFabiano Rosas         cpu_abort(cs, "%s exception not implemented\n",
71652926b0dSFabiano Rosas                   powerpc_excp_name(excp));
71752926b0dSFabiano Rosas         break;
71852926b0dSFabiano Rosas     default:
71952926b0dSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
72052926b0dSFabiano Rosas         break;
72152926b0dSFabiano Rosas     }
72252926b0dSFabiano Rosas 
72352926b0dSFabiano Rosas     /* Sanity check */
72452926b0dSFabiano Rosas     if (!(env->msr_mask & MSR_HVB)) {
72552926b0dSFabiano Rosas         if (new_msr & MSR_HVB) {
72652926b0dSFabiano Rosas             cpu_abort(cs, "Trying to deliver HV exception (MSR) %d with "
72752926b0dSFabiano Rosas                       "no HV support\n", excp);
72852926b0dSFabiano Rosas         }
72952926b0dSFabiano Rosas     }
73052926b0dSFabiano Rosas 
73152926b0dSFabiano Rosas     /*
73252926b0dSFabiano Rosas      * Sort out endianness of interrupt, this differs depending on the
73352926b0dSFabiano Rosas      * CPU, the HV mode, etc...
73452926b0dSFabiano Rosas      */
73552926b0dSFabiano Rosas     if (ppc_interrupts_little_endian(cpu, !!(new_msr & MSR_HVB))) {
73652926b0dSFabiano Rosas         new_msr |= (target_ulong)1 << MSR_LE;
73752926b0dSFabiano Rosas     }
73852926b0dSFabiano Rosas 
73952926b0dSFabiano Rosas     /* Save PC */
740*f82db777SFabiano Rosas     env->spr[SPR_SRR0] = env->nip;
74152926b0dSFabiano Rosas 
74252926b0dSFabiano Rosas     /* Save MSR */
743*f82db777SFabiano Rosas     env->spr[SPR_SRR1] = msr;
74452926b0dSFabiano Rosas 
74552926b0dSFabiano Rosas     powerpc_set_excp_state(cpu, vector, new_msr);
74652926b0dSFabiano Rosas }
74752926b0dSFabiano Rosas 
74830c4e426SFabiano Rosas #ifdef TARGET_PPC64
7499f338e4dSFabiano Rosas static void powerpc_excp_books(PowerPCCPU *cpu, int excp)
7509f338e4dSFabiano Rosas {
7519f338e4dSFabiano Rosas     CPUState *cs = CPU(cpu);
7529f338e4dSFabiano Rosas     CPUPPCState *env = &cpu->env;
7539f338e4dSFabiano Rosas     int excp_model = env->excp_model;
7549f338e4dSFabiano Rosas     target_ulong msr, new_msr, vector;
7559f338e4dSFabiano Rosas     int srr0, srr1, lev = -1;
7569f338e4dSFabiano Rosas 
7579f338e4dSFabiano Rosas     if (excp <= POWERPC_EXCP_NONE || excp >= POWERPC_EXCP_NB) {
7589f338e4dSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
7599f338e4dSFabiano Rosas     }
7609f338e4dSFabiano Rosas 
7619f338e4dSFabiano Rosas     qemu_log_mask(CPU_LOG_INT, "Raise exception at " TARGET_FMT_lx
7629f338e4dSFabiano Rosas                   " => %s (%d) error=%02x\n", env->nip, powerpc_excp_name(excp),
7639f338e4dSFabiano Rosas                   excp, env->error_code);
7649f338e4dSFabiano Rosas 
7659f338e4dSFabiano Rosas     /* new srr1 value excluding must-be-zero bits */
7669f338e4dSFabiano Rosas     msr = env->msr & ~0x783f0000ULL;
7679f338e4dSFabiano Rosas 
7689f338e4dSFabiano Rosas     /*
7699f338e4dSFabiano Rosas      * new interrupt handler msr preserves existing HV and ME unless
7709f338e4dSFabiano Rosas      * explicitly overriden
7719f338e4dSFabiano Rosas      */
7729f338e4dSFabiano Rosas     new_msr = env->msr & (((target_ulong)1 << MSR_ME) | MSR_HVB);
7739f338e4dSFabiano Rosas 
7749f338e4dSFabiano Rosas     /* target registers */
7759f338e4dSFabiano Rosas     srr0 = SPR_SRR0;
7769f338e4dSFabiano Rosas     srr1 = SPR_SRR1;
7779f338e4dSFabiano Rosas 
7789f338e4dSFabiano Rosas     /*
7799f338e4dSFabiano Rosas      * check for special resume at 0x100 from doze/nap/sleep/winkle on
7809f338e4dSFabiano Rosas      * P7/P8/P9
7819f338e4dSFabiano Rosas      */
7829f338e4dSFabiano Rosas     if (env->resume_as_sreset) {
7839f338e4dSFabiano Rosas         excp = powerpc_reset_wakeup(cs, env, excp, &msr);
7849f338e4dSFabiano Rosas     }
7859f338e4dSFabiano Rosas 
7869f338e4dSFabiano Rosas     /*
78730c4e426SFabiano Rosas      * We don't want to generate a Hypervisor Emulation Assistance
78830c4e426SFabiano Rosas      * Interrupt if we don't have HVB in msr_mask (PAPR mode).
7899f338e4dSFabiano Rosas      */
79030c4e426SFabiano Rosas     if (excp == POWERPC_EXCP_HV_EMU && !(env->msr_mask & MSR_HVB)) {
7919f338e4dSFabiano Rosas         excp = POWERPC_EXCP_PROGRAM;
7929f338e4dSFabiano Rosas     }
7939f338e4dSFabiano Rosas 
7949f338e4dSFabiano Rosas     vector = env->excp_vectors[excp];
7959f338e4dSFabiano Rosas     if (vector == (target_ulong)-1ULL) {
7969f338e4dSFabiano Rosas         cpu_abort(cs, "Raised an exception without defined vector %d\n",
7979f338e4dSFabiano Rosas                   excp);
7989f338e4dSFabiano Rosas     }
7999f338e4dSFabiano Rosas 
8009f338e4dSFabiano Rosas     vector |= env->excp_prefix;
8019f338e4dSFabiano Rosas 
8029f338e4dSFabiano Rosas     switch (excp) {
8039f338e4dSFabiano Rosas     case POWERPC_EXCP_MCHECK:    /* Machine check exception                  */
8049f338e4dSFabiano Rosas         if (msr_me == 0) {
8059f338e4dSFabiano Rosas             /*
8069f338e4dSFabiano Rosas              * Machine check exception is not enabled.  Enter
8079f338e4dSFabiano Rosas              * checkstop state.
8089f338e4dSFabiano Rosas              */
8099f338e4dSFabiano Rosas             fprintf(stderr, "Machine check while not allowed. "
8109f338e4dSFabiano Rosas                     "Entering checkstop state\n");
8119f338e4dSFabiano Rosas             if (qemu_log_separate()) {
8129f338e4dSFabiano Rosas                 qemu_log("Machine check while not allowed. "
8139f338e4dSFabiano Rosas                         "Entering checkstop state\n");
8149f338e4dSFabiano Rosas             }
8159f338e4dSFabiano Rosas             cs->halted = 1;
8169f338e4dSFabiano Rosas             cpu_interrupt_exittb(cs);
8179f338e4dSFabiano Rosas         }
8189f338e4dSFabiano Rosas         if (env->msr_mask & MSR_HVB) {
8199f338e4dSFabiano Rosas             /*
8209f338e4dSFabiano Rosas              * ISA specifies HV, but can be delivered to guest with HV
8219f338e4dSFabiano Rosas              * clear (e.g., see FWNMI in PAPR).
8229f338e4dSFabiano Rosas              */
8239f338e4dSFabiano Rosas             new_msr |= (target_ulong)MSR_HVB;
8249f338e4dSFabiano Rosas         }
8259f338e4dSFabiano Rosas 
8269f338e4dSFabiano Rosas         /* machine check exceptions don't have ME set */
8279f338e4dSFabiano Rosas         new_msr &= ~((target_ulong)1 << MSR_ME);
8289f338e4dSFabiano Rosas 
8299f338e4dSFabiano Rosas         break;
8309f338e4dSFabiano Rosas     case POWERPC_EXCP_DSI:       /* Data storage exception                   */
8319f338e4dSFabiano Rosas         trace_ppc_excp_dsi(env->spr[SPR_DSISR], env->spr[SPR_DAR]);
8329f338e4dSFabiano Rosas         break;
8339f338e4dSFabiano Rosas     case POWERPC_EXCP_ISI:       /* Instruction storage exception            */
8349f338e4dSFabiano Rosas         trace_ppc_excp_isi(msr, env->nip);
8359f338e4dSFabiano Rosas         msr |= env->error_code;
8369f338e4dSFabiano Rosas         break;
8379f338e4dSFabiano Rosas     case POWERPC_EXCP_EXTERNAL:  /* External input                           */
8389f338e4dSFabiano Rosas     {
8399f338e4dSFabiano Rosas         bool lpes0;
8409f338e4dSFabiano Rosas 
8419f338e4dSFabiano Rosas         /*
84267baff77SFabiano Rosas          * LPES0 is only taken into consideration if we support HV
84367baff77SFabiano Rosas          * mode for this CPU.
8449f338e4dSFabiano Rosas          */
84567baff77SFabiano Rosas         if (!env->has_hv_mode) {
84667baff77SFabiano Rosas             break;
8479f338e4dSFabiano Rosas         }
8489f338e4dSFabiano Rosas 
84967baff77SFabiano Rosas         lpes0 = !!(env->spr[SPR_LPCR] & LPCR_LPES0);
85067baff77SFabiano Rosas 
8519f338e4dSFabiano Rosas         if (!lpes0) {
8529f338e4dSFabiano Rosas             new_msr |= (target_ulong)MSR_HVB;
8539f338e4dSFabiano Rosas             new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
8549f338e4dSFabiano Rosas             srr0 = SPR_HSRR0;
8559f338e4dSFabiano Rosas             srr1 = SPR_HSRR1;
8569f338e4dSFabiano Rosas         }
85767baff77SFabiano Rosas 
8589f338e4dSFabiano Rosas         break;
8599f338e4dSFabiano Rosas     }
8609f338e4dSFabiano Rosas     case POWERPC_EXCP_ALIGN:     /* Alignment exception                      */
8619f338e4dSFabiano Rosas         /* Get rS/rD and rA from faulting opcode */
8629f338e4dSFabiano Rosas         /*
8639f338e4dSFabiano Rosas          * Note: the opcode fields will not be set properly for a
8649f338e4dSFabiano Rosas          * direct store load/store, but nobody cares as nobody
8659f338e4dSFabiano Rosas          * actually uses direct store segments.
8669f338e4dSFabiano Rosas          */
8679f338e4dSFabiano Rosas         env->spr[SPR_DSISR] |= (env->error_code & 0x03FF0000) >> 16;
8689f338e4dSFabiano Rosas         break;
8699f338e4dSFabiano Rosas     case POWERPC_EXCP_PROGRAM:   /* Program exception                        */
8709f338e4dSFabiano Rosas         switch (env->error_code & ~0xF) {
8719f338e4dSFabiano Rosas         case POWERPC_EXCP_FP:
8729f338e4dSFabiano Rosas             if ((msr_fe0 == 0 && msr_fe1 == 0) || msr_fp == 0) {
8739f338e4dSFabiano Rosas                 trace_ppc_excp_fp_ignore();
8749f338e4dSFabiano Rosas                 cs->exception_index = POWERPC_EXCP_NONE;
8759f338e4dSFabiano Rosas                 env->error_code = 0;
8769f338e4dSFabiano Rosas                 return;
8779f338e4dSFabiano Rosas             }
8789f338e4dSFabiano Rosas 
8799f338e4dSFabiano Rosas             /*
8809f338e4dSFabiano Rosas              * FP exceptions always have NIP pointing to the faulting
8819f338e4dSFabiano Rosas              * instruction, so always use store_next and claim we are
8829f338e4dSFabiano Rosas              * precise in the MSR.
8839f338e4dSFabiano Rosas              */
8849f338e4dSFabiano Rosas             msr |= 0x00100000;
8859f338e4dSFabiano Rosas             break;
8869f338e4dSFabiano Rosas         case POWERPC_EXCP_INVAL:
8879f338e4dSFabiano Rosas             trace_ppc_excp_inval(env->nip);
8889f338e4dSFabiano Rosas             msr |= 0x00080000;
8899f338e4dSFabiano Rosas             break;
8909f338e4dSFabiano Rosas         case POWERPC_EXCP_PRIV:
8919f338e4dSFabiano Rosas             msr |= 0x00040000;
8929f338e4dSFabiano Rosas             break;
8939f338e4dSFabiano Rosas         case POWERPC_EXCP_TRAP:
8949f338e4dSFabiano Rosas             msr |= 0x00020000;
8959f338e4dSFabiano Rosas             break;
8969f338e4dSFabiano Rosas         default:
8979f338e4dSFabiano Rosas             /* Should never occur */
8989f338e4dSFabiano Rosas             cpu_abort(cs, "Invalid program exception %d. Aborting\n",
8999f338e4dSFabiano Rosas                       env->error_code);
9009f338e4dSFabiano Rosas             break;
9019f338e4dSFabiano Rosas         }
9029f338e4dSFabiano Rosas         break;
9039f338e4dSFabiano Rosas     case POWERPC_EXCP_SYSCALL:   /* System call exception                    */
9049f338e4dSFabiano Rosas         lev = env->error_code;
9059f338e4dSFabiano Rosas 
9069f338e4dSFabiano Rosas         if ((lev == 1) && cpu->vhyp) {
9079f338e4dSFabiano Rosas             dump_hcall(env);
9089f338e4dSFabiano Rosas         } else {
9099f338e4dSFabiano Rosas             dump_syscall(env);
9109f338e4dSFabiano Rosas         }
9119f338e4dSFabiano Rosas 
9129f338e4dSFabiano Rosas         /*
9139f338e4dSFabiano Rosas          * We need to correct the NIP which in this case is supposed
9149f338e4dSFabiano Rosas          * to point to the next instruction
9159f338e4dSFabiano Rosas          */
9169f338e4dSFabiano Rosas         env->nip += 4;
9179f338e4dSFabiano Rosas 
9189f338e4dSFabiano Rosas         /* "PAPR mode" built-in hypercall emulation */
9199f338e4dSFabiano Rosas         if ((lev == 1) && cpu->vhyp) {
9209f338e4dSFabiano Rosas             PPCVirtualHypervisorClass *vhc =
9219f338e4dSFabiano Rosas                 PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
9229f338e4dSFabiano Rosas             vhc->hypercall(cpu->vhyp, cpu);
9239f338e4dSFabiano Rosas             return;
9249f338e4dSFabiano Rosas         }
9259f338e4dSFabiano Rosas         if (lev == 1) {
9269f338e4dSFabiano Rosas             new_msr |= (target_ulong)MSR_HVB;
9279f338e4dSFabiano Rosas         }
9289f338e4dSFabiano Rosas         break;
9299f338e4dSFabiano Rosas     case POWERPC_EXCP_SYSCALL_VECTORED: /* scv exception                     */
9309f338e4dSFabiano Rosas         lev = env->error_code;
9319f338e4dSFabiano Rosas         dump_syscall(env);
9329f338e4dSFabiano Rosas         env->nip += 4;
9339f338e4dSFabiano Rosas         new_msr |= env->msr & ((target_ulong)1 << MSR_EE);
9349f338e4dSFabiano Rosas         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
9359f338e4dSFabiano Rosas 
9369f338e4dSFabiano Rosas         vector += lev * 0x20;
9379f338e4dSFabiano Rosas 
9389f338e4dSFabiano Rosas         env->lr = env->nip;
9399f338e4dSFabiano Rosas         env->ctr = msr;
9409f338e4dSFabiano Rosas         break;
9419f338e4dSFabiano Rosas     case POWERPC_EXCP_FPU:       /* Floating-point unavailable exception     */
9429f338e4dSFabiano Rosas     case POWERPC_EXCP_DECR:      /* Decrementer exception                    */
9439f338e4dSFabiano Rosas         break;
9449f338e4dSFabiano Rosas     case POWERPC_EXCP_RESET:     /* System reset exception                   */
9459f338e4dSFabiano Rosas         /* A power-saving exception sets ME, otherwise it is unchanged */
9469f338e4dSFabiano Rosas         if (msr_pow) {
9479f338e4dSFabiano Rosas             /* indicate that we resumed from power save mode */
9489f338e4dSFabiano Rosas             msr |= 0x10000;
9499f338e4dSFabiano Rosas             new_msr |= ((target_ulong)1 << MSR_ME);
9509f338e4dSFabiano Rosas         }
9519f338e4dSFabiano Rosas         if (env->msr_mask & MSR_HVB) {
9529f338e4dSFabiano Rosas             /*
9539f338e4dSFabiano Rosas              * ISA specifies HV, but can be delivered to guest with HV
9549f338e4dSFabiano Rosas              * clear (e.g., see FWNMI in PAPR, NMI injection in QEMU).
9559f338e4dSFabiano Rosas              */
9569f338e4dSFabiano Rosas             new_msr |= (target_ulong)MSR_HVB;
9579f338e4dSFabiano Rosas         } else {
9589f338e4dSFabiano Rosas             if (msr_pow) {
9599f338e4dSFabiano Rosas                 cpu_abort(cs, "Trying to deliver power-saving system reset "
9609f338e4dSFabiano Rosas                           "exception %d with no HV support\n", excp);
9619f338e4dSFabiano Rosas             }
9629f338e4dSFabiano Rosas         }
9639f338e4dSFabiano Rosas         break;
9649f338e4dSFabiano Rosas     case POWERPC_EXCP_DSEG:      /* Data segment exception                   */
9659f338e4dSFabiano Rosas     case POWERPC_EXCP_ISEG:      /* Instruction segment exception            */
9669f338e4dSFabiano Rosas     case POWERPC_EXCP_TRACE:     /* Trace exception                          */
9679f338e4dSFabiano Rosas         break;
9689f338e4dSFabiano Rosas     case POWERPC_EXCP_HISI:      /* Hypervisor instruction storage exception */
9699f338e4dSFabiano Rosas         msr |= env->error_code;
9709f338e4dSFabiano Rosas         /* fall through */
9719f338e4dSFabiano Rosas     case POWERPC_EXCP_HDECR:     /* Hypervisor decrementer exception         */
9729f338e4dSFabiano Rosas     case POWERPC_EXCP_HDSI:      /* Hypervisor data storage exception        */
9739f338e4dSFabiano Rosas     case POWERPC_EXCP_SDOOR_HV:  /* Hypervisor Doorbell interrupt            */
9749f338e4dSFabiano Rosas     case POWERPC_EXCP_HV_EMU:
9759f338e4dSFabiano Rosas     case POWERPC_EXCP_HVIRT:     /* Hypervisor virtualization                */
9769f338e4dSFabiano Rosas         srr0 = SPR_HSRR0;
9779f338e4dSFabiano Rosas         srr1 = SPR_HSRR1;
9789f338e4dSFabiano Rosas         new_msr |= (target_ulong)MSR_HVB;
9799f338e4dSFabiano Rosas         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
9809f338e4dSFabiano Rosas         break;
9819f338e4dSFabiano Rosas     case POWERPC_EXCP_VPU:       /* Vector unavailable exception             */
9829f338e4dSFabiano Rosas     case POWERPC_EXCP_VSXU:       /* VSX unavailable exception               */
9839f338e4dSFabiano Rosas     case POWERPC_EXCP_FU:         /* Facility unavailable exception          */
9849f338e4dSFabiano Rosas         env->spr[SPR_FSCR] |= ((target_ulong)env->error_code << 56);
9859f338e4dSFabiano Rosas         break;
9869f338e4dSFabiano Rosas     case POWERPC_EXCP_HV_FU:     /* Hypervisor Facility Unavailable Exception */
9879f338e4dSFabiano Rosas         env->spr[SPR_HFSCR] |= ((target_ulong)env->error_code << FSCR_IC_POS);
9889f338e4dSFabiano Rosas         srr0 = SPR_HSRR0;
9899f338e4dSFabiano Rosas         srr1 = SPR_HSRR1;
9909f338e4dSFabiano Rosas         new_msr |= (target_ulong)MSR_HVB;
9919f338e4dSFabiano Rosas         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
9929f338e4dSFabiano Rosas         break;
9939f338e4dSFabiano Rosas     case POWERPC_EXCP_THERM:     /* Thermal interrupt                        */
9949f338e4dSFabiano Rosas     case POWERPC_EXCP_PERFM:     /* Embedded performance monitor interrupt   */
9959f338e4dSFabiano Rosas     case POWERPC_EXCP_VPUA:      /* Vector assist exception                  */
9969f338e4dSFabiano Rosas     case POWERPC_EXCP_MAINT:     /* Maintenance exception                    */
99730c4e426SFabiano Rosas     case POWERPC_EXCP_SDOOR:     /* Doorbell interrupt                       */
99830c4e426SFabiano Rosas     case POWERPC_EXCP_HV_MAINT:  /* Hypervisor Maintenance exception         */
9999f338e4dSFabiano Rosas         cpu_abort(cs, "%s exception not implemented\n",
10009f338e4dSFabiano Rosas                   powerpc_excp_name(excp));
10019f338e4dSFabiano Rosas         break;
10029f338e4dSFabiano Rosas     default:
10039f338e4dSFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
10049f338e4dSFabiano Rosas         break;
10059f338e4dSFabiano Rosas     }
10069f338e4dSFabiano Rosas 
10079f338e4dSFabiano Rosas     /* Sanity check */
10089f338e4dSFabiano Rosas     if (!(env->msr_mask & MSR_HVB)) {
10099f338e4dSFabiano Rosas         if (new_msr & MSR_HVB) {
10109f338e4dSFabiano Rosas             cpu_abort(cs, "Trying to deliver HV exception (MSR) %d with "
10119f338e4dSFabiano Rosas                       "no HV support\n", excp);
10129f338e4dSFabiano Rosas         }
10139f338e4dSFabiano Rosas         if (srr0 == SPR_HSRR0) {
10149f338e4dSFabiano Rosas             cpu_abort(cs, "Trying to deliver HV exception (HSRR) %d with "
10159f338e4dSFabiano Rosas                       "no HV support\n", excp);
10169f338e4dSFabiano Rosas         }
10179f338e4dSFabiano Rosas     }
10189f338e4dSFabiano Rosas 
10199f338e4dSFabiano Rosas     /*
10209f338e4dSFabiano Rosas      * Sort out endianness of interrupt, this differs depending on the
10219f338e4dSFabiano Rosas      * CPU, the HV mode, etc...
10229f338e4dSFabiano Rosas      */
10239f338e4dSFabiano Rosas     if (ppc_interrupts_little_endian(cpu, !!(new_msr & MSR_HVB))) {
10249f338e4dSFabiano Rosas         new_msr |= (target_ulong)1 << MSR_LE;
10259f338e4dSFabiano Rosas     }
10269f338e4dSFabiano Rosas 
10279f338e4dSFabiano Rosas     new_msr |= (target_ulong)1 << MSR_SF;
10289f338e4dSFabiano Rosas 
10299f338e4dSFabiano Rosas     if (excp != POWERPC_EXCP_SYSCALL_VECTORED) {
10309f338e4dSFabiano Rosas         /* Save PC */
10319f338e4dSFabiano Rosas         env->spr[srr0] = env->nip;
10329f338e4dSFabiano Rosas 
10339f338e4dSFabiano Rosas         /* Save MSR */
10349f338e4dSFabiano Rosas         env->spr[srr1] = msr;
10359f338e4dSFabiano Rosas     }
10369f338e4dSFabiano Rosas 
10379f338e4dSFabiano Rosas     /* This can update new_msr and vector if AIL applies */
10389f338e4dSFabiano Rosas     ppc_excp_apply_ail(cpu, excp_model, excp, msr, &new_msr, &vector);
10399f338e4dSFabiano Rosas 
10409f338e4dSFabiano Rosas     powerpc_set_excp_state(cpu, vector, new_msr);
10419f338e4dSFabiano Rosas }
104230c4e426SFabiano Rosas #else
104330c4e426SFabiano Rosas static inline void powerpc_excp_books(PowerPCCPU *cpu, int excp)
104430c4e426SFabiano Rosas {
104530c4e426SFabiano Rosas     g_assert_not_reached();
104630c4e426SFabiano Rosas }
104730c4e426SFabiano Rosas #endif
10489f338e4dSFabiano Rosas 
104947733729SDavid Gibson /*
105047733729SDavid Gibson  * Note that this function should be greatly optimized when called
105147733729SDavid Gibson  * with a constant excp, from ppc_hw_interrupt
1052c79c73f6SBlue Swirl  */
1053dc88dd0aSFabiano Rosas static inline void powerpc_excp_legacy(PowerPCCPU *cpu, int excp)
1054c79c73f6SBlue Swirl {
105527103424SAndreas Färber     CPUState *cs = CPU(cpu);
10565c26a5b3SAndreas Färber     CPUPPCState *env = &cpu->env;
105793130c84SFabiano Rosas     int excp_model = env->excp_model;
1058c79c73f6SBlue Swirl     target_ulong msr, new_msr, vector;
105919e70626SFabiano Rosas     int srr0, srr1, lev = -1;
1060c79c73f6SBlue Swirl 
10612541e686SFabiano Rosas     if (excp <= POWERPC_EXCP_NONE || excp >= POWERPC_EXCP_NB) {
10622541e686SFabiano Rosas         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
10632541e686SFabiano Rosas     }
10642541e686SFabiano Rosas 
1065c79c73f6SBlue Swirl     qemu_log_mask(CPU_LOG_INT, "Raise exception at " TARGET_FMT_lx
10666789f23bSCédric Le Goater                   " => %s (%d) error=%02x\n", env->nip, powerpc_excp_name(excp),
10676789f23bSCédric Le Goater                   excp, env->error_code);
1068c79c73f6SBlue Swirl 
1069c79c73f6SBlue Swirl     /* new srr1 value excluding must-be-zero bits */
1070a1bb7384SScott Wood     if (excp_model == POWERPC_EXCP_BOOKE) {
1071a1bb7384SScott Wood         msr = env->msr;
1072a1bb7384SScott Wood     } else {
1073c79c73f6SBlue Swirl         msr = env->msr & ~0x783f0000ULL;
1074a1bb7384SScott Wood     }
1075c79c73f6SBlue Swirl 
107647733729SDavid Gibson     /*
107747733729SDavid Gibson      * new interrupt handler msr preserves existing HV and ME unless
10786d49d6d4SBenjamin Herrenschmidt      * explicitly overriden
10796d49d6d4SBenjamin Herrenschmidt      */
10806d49d6d4SBenjamin Herrenschmidt     new_msr = env->msr & (((target_ulong)1 << MSR_ME) | MSR_HVB);
1081c79c73f6SBlue Swirl 
1082c79c73f6SBlue Swirl     /* target registers */
1083c79c73f6SBlue Swirl     srr0 = SPR_SRR0;
1084c79c73f6SBlue Swirl     srr1 = SPR_SRR1;
1085c79c73f6SBlue Swirl 
108621c0d66aSBenjamin Herrenschmidt     /*
108721c0d66aSBenjamin Herrenschmidt      * check for special resume at 0x100 from doze/nap/sleep/winkle on
108821c0d66aSBenjamin Herrenschmidt      * P7/P8/P9
108921c0d66aSBenjamin Herrenschmidt      */
10901e7fd61dSBenjamin Herrenschmidt     if (env->resume_as_sreset) {
1091dead760bSBenjamin Herrenschmidt         excp = powerpc_reset_wakeup(cs, env, excp, &msr);
10927778a575SBenjamin Herrenschmidt     }
10937778a575SBenjamin Herrenschmidt 
109447733729SDavid Gibson     /*
109547733729SDavid Gibson      * Hypervisor emulation assistance interrupt only exists on server
10969b2faddaSBenjamin Herrenschmidt      * arch 2.05 server or later. We also don't want to generate it if
10979b2faddaSBenjamin Herrenschmidt      * we don't have HVB in msr_mask (PAPR mode).
10989b2faddaSBenjamin Herrenschmidt      */
10999b2faddaSBenjamin Herrenschmidt     if (excp == POWERPC_EXCP_HV_EMU
11009b2faddaSBenjamin Herrenschmidt #if defined(TARGET_PPC64)
1101d57d72a8SGreg Kurz         && !(mmu_is_64bit(env->mmu_model) && (env->msr_mask & MSR_HVB))
11029b2faddaSBenjamin Herrenschmidt #endif /* defined(TARGET_PPC64) */
11039b2faddaSBenjamin Herrenschmidt 
11049b2faddaSBenjamin Herrenschmidt     ) {
11059b2faddaSBenjamin Herrenschmidt         excp = POWERPC_EXCP_PROGRAM;
11069b2faddaSBenjamin Herrenschmidt     }
11079b2faddaSBenjamin Herrenschmidt 
11087fc1dc83SFabiano Rosas #ifdef TARGET_PPC64
11097fc1dc83SFabiano Rosas     /*
11107fc1dc83SFabiano Rosas      * SPEU and VPU share the same IVOR but they exist in different
11117fc1dc83SFabiano Rosas      * processors. SPEU is e500v1/2 only and VPU is e6500 only.
11127fc1dc83SFabiano Rosas      */
11137fc1dc83SFabiano Rosas     if (excp_model == POWERPC_EXCP_BOOKE && excp == POWERPC_EXCP_VPU) {
11147fc1dc83SFabiano Rosas         excp = POWERPC_EXCP_SPEU;
11157fc1dc83SFabiano Rosas     }
11167fc1dc83SFabiano Rosas #endif
11177fc1dc83SFabiano Rosas 
1118d1cbee61SFabiano Rosas     vector = env->excp_vectors[excp];
1119d1cbee61SFabiano Rosas     if (vector == (target_ulong)-1ULL) {
1120d1cbee61SFabiano Rosas         cpu_abort(cs, "Raised an exception without defined vector %d\n",
1121d1cbee61SFabiano Rosas                   excp);
1122d1cbee61SFabiano Rosas     }
1123d1cbee61SFabiano Rosas 
1124d1cbee61SFabiano Rosas     vector |= env->excp_prefix;
1125d1cbee61SFabiano Rosas 
1126c79c73f6SBlue Swirl     switch (excp) {
1127c79c73f6SBlue Swirl     case POWERPC_EXCP_CRITICAL:    /* Critical input                         */
1128c79c73f6SBlue Swirl         switch (excp_model) {
1129c79c73f6SBlue Swirl         case POWERPC_EXCP_40x:
1130c79c73f6SBlue Swirl             srr0 = SPR_40x_SRR2;
1131c79c73f6SBlue Swirl             srr1 = SPR_40x_SRR3;
1132c79c73f6SBlue Swirl             break;
1133c79c73f6SBlue Swirl         case POWERPC_EXCP_BOOKE:
1134c79c73f6SBlue Swirl             srr0 = SPR_BOOKE_CSRR0;
1135c79c73f6SBlue Swirl             srr1 = SPR_BOOKE_CSRR1;
1136c79c73f6SBlue Swirl             break;
1137c79c73f6SBlue Swirl         case POWERPC_EXCP_G2:
1138c79c73f6SBlue Swirl             break;
1139c79c73f6SBlue Swirl         default:
1140c79c73f6SBlue Swirl             goto excp_invalid;
1141c79c73f6SBlue Swirl         }
1142bd6fefe7SBenjamin Herrenschmidt         break;
1143c79c73f6SBlue Swirl     case POWERPC_EXCP_MCHECK:    /* Machine check exception                  */
1144c79c73f6SBlue Swirl         if (msr_me == 0) {
114547733729SDavid Gibson             /*
114647733729SDavid Gibson              * Machine check exception is not enabled.  Enter
114747733729SDavid Gibson              * checkstop state.
1148c79c73f6SBlue Swirl              */
1149c79c73f6SBlue Swirl             fprintf(stderr, "Machine check while not allowed. "
1150c79c73f6SBlue Swirl                     "Entering checkstop state\n");
1151013a2942SPaolo Bonzini             if (qemu_log_separate()) {
1152013a2942SPaolo Bonzini                 qemu_log("Machine check while not allowed. "
1153013a2942SPaolo Bonzini                         "Entering checkstop state\n");
1154c79c73f6SBlue Swirl             }
1155259186a7SAndreas Färber             cs->halted = 1;
1156044897efSRichard Purdie             cpu_interrupt_exittb(cs);
1157c79c73f6SBlue Swirl         }
115810c21b5cSNicholas Piggin         if (env->msr_mask & MSR_HVB) {
115947733729SDavid Gibson             /*
116047733729SDavid Gibson              * ISA specifies HV, but can be delivered to guest with HV
116147733729SDavid Gibson              * clear (e.g., see FWNMI in PAPR).
116210c21b5cSNicholas Piggin              */
1163c79c73f6SBlue Swirl             new_msr |= (target_ulong)MSR_HVB;
116410c21b5cSNicholas Piggin         }
1165c79c73f6SBlue Swirl 
1166c79c73f6SBlue Swirl         /* machine check exceptions don't have ME set */
1167c79c73f6SBlue Swirl         new_msr &= ~((target_ulong)1 << MSR_ME);
1168c79c73f6SBlue Swirl 
1169c79c73f6SBlue Swirl         /* XXX: should also have something loaded in DAR / DSISR */
1170c79c73f6SBlue Swirl         switch (excp_model) {
1171c79c73f6SBlue Swirl         case POWERPC_EXCP_40x:
1172c79c73f6SBlue Swirl             srr0 = SPR_40x_SRR2;
1173c79c73f6SBlue Swirl             srr1 = SPR_40x_SRR3;
1174c79c73f6SBlue Swirl             break;
1175c79c73f6SBlue Swirl         case POWERPC_EXCP_BOOKE:
1176a1bb7384SScott Wood             /* FIXME: choose one or the other based on CPU type */
1177c79c73f6SBlue Swirl             srr0 = SPR_BOOKE_MCSRR0;
1178c79c73f6SBlue Swirl             srr1 = SPR_BOOKE_MCSRR1;
117919e70626SFabiano Rosas 
118019e70626SFabiano Rosas             env->spr[SPR_BOOKE_CSRR0] = env->nip;
118119e70626SFabiano Rosas             env->spr[SPR_BOOKE_CSRR1] = msr;
1182c79c73f6SBlue Swirl             break;
1183c79c73f6SBlue Swirl         default:
1184c79c73f6SBlue Swirl             break;
1185c79c73f6SBlue Swirl         }
1186bd6fefe7SBenjamin Herrenschmidt         break;
1187c79c73f6SBlue Swirl     case POWERPC_EXCP_DSI:       /* Data storage exception                   */
11882eb1ef73SCédric Le Goater         trace_ppc_excp_dsi(env->spr[SPR_DSISR], env->spr[SPR_DAR]);
1189bd6fefe7SBenjamin Herrenschmidt         break;
1190c79c73f6SBlue Swirl     case POWERPC_EXCP_ISI:       /* Instruction storage exception            */
11912eb1ef73SCédric Le Goater         trace_ppc_excp_isi(msr, env->nip);
1192c79c73f6SBlue Swirl         msr |= env->error_code;
1193bd6fefe7SBenjamin Herrenschmidt         break;
1194c79c73f6SBlue Swirl     case POWERPC_EXCP_EXTERNAL:  /* External input                           */
1195bbc443cfSFabiano Rosas     {
1196bbc443cfSFabiano Rosas         bool lpes0;
1197bbc443cfSFabiano Rosas 
1198fdfba1a2SEdgar E. Iglesias         cs = CPU(cpu);
1199fdfba1a2SEdgar E. Iglesias 
1200bbc443cfSFabiano Rosas         /*
1201bbc443cfSFabiano Rosas          * Exception targeting modifiers
1202bbc443cfSFabiano Rosas          *
1203bbc443cfSFabiano Rosas          * LPES0 is supported on POWER7/8/9
1204bbc443cfSFabiano Rosas          * LPES1 is not supported (old iSeries mode)
1205bbc443cfSFabiano Rosas          *
1206bbc443cfSFabiano Rosas          * On anything else, we behave as if LPES0 is 1
1207bbc443cfSFabiano Rosas          * (externals don't alter MSR:HV)
1208bbc443cfSFabiano Rosas          */
1209bbc443cfSFabiano Rosas #if defined(TARGET_PPC64)
1210bbc443cfSFabiano Rosas         if (excp_model == POWERPC_EXCP_POWER7 ||
1211bbc443cfSFabiano Rosas             excp_model == POWERPC_EXCP_POWER8 ||
1212bbc443cfSFabiano Rosas             excp_model == POWERPC_EXCP_POWER9 ||
1213bbc443cfSFabiano Rosas             excp_model == POWERPC_EXCP_POWER10) {
1214bbc443cfSFabiano Rosas             lpes0 = !!(env->spr[SPR_LPCR] & LPCR_LPES0);
1215bbc443cfSFabiano Rosas         } else
1216bbc443cfSFabiano Rosas #endif /* defined(TARGET_PPC64) */
1217bbc443cfSFabiano Rosas         {
1218bbc443cfSFabiano Rosas             lpes0 = true;
1219bbc443cfSFabiano Rosas         }
1220bbc443cfSFabiano Rosas 
12216d49d6d4SBenjamin Herrenschmidt         if (!lpes0) {
1222c79c73f6SBlue Swirl             new_msr |= (target_ulong)MSR_HVB;
12236d49d6d4SBenjamin Herrenschmidt             new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
12246d49d6d4SBenjamin Herrenschmidt             srr0 = SPR_HSRR0;
12256d49d6d4SBenjamin Herrenschmidt             srr1 = SPR_HSRR1;
1226c79c73f6SBlue Swirl         }
122768c2dd70SAlexander Graf         if (env->mpic_proxy) {
122868c2dd70SAlexander Graf             /* IACK the IRQ on delivery */
1229fdfba1a2SEdgar E. Iglesias             env->spr[SPR_BOOKE_EPR] = ldl_phys(cs->as, env->mpic_iack);
123068c2dd70SAlexander Graf         }
1231bd6fefe7SBenjamin Herrenschmidt         break;
1232bbc443cfSFabiano Rosas     }
1233c79c73f6SBlue Swirl     case POWERPC_EXCP_ALIGN:     /* Alignment exception                      */
123429c4a336SFabiano Rosas         /* Get rS/rD and rA from faulting opcode */
123547733729SDavid Gibson         /*
123629c4a336SFabiano Rosas          * Note: the opcode fields will not be set properly for a
123729c4a336SFabiano Rosas          * direct store load/store, but nobody cares as nobody
123829c4a336SFabiano Rosas          * actually uses direct store segments.
12393433b732SBenjamin Herrenschmidt          */
124029c4a336SFabiano Rosas         env->spr[SPR_DSISR] |= (env->error_code & 0x03FF0000) >> 16;
1241bd6fefe7SBenjamin Herrenschmidt         break;
1242c79c73f6SBlue Swirl     case POWERPC_EXCP_PROGRAM:   /* Program exception                        */
1243c79c73f6SBlue Swirl         switch (env->error_code & ~0xF) {
1244c79c73f6SBlue Swirl         case POWERPC_EXCP_FP:
1245c79c73f6SBlue Swirl             if ((msr_fe0 == 0 && msr_fe1 == 0) || msr_fp == 0) {
12462eb1ef73SCédric Le Goater                 trace_ppc_excp_fp_ignore();
124727103424SAndreas Färber                 cs->exception_index = POWERPC_EXCP_NONE;
1248c79c73f6SBlue Swirl                 env->error_code = 0;
1249c79c73f6SBlue Swirl                 return;
1250c79c73f6SBlue Swirl             }
12511b7d17caSBenjamin Herrenschmidt 
125247733729SDavid Gibson             /*
125347733729SDavid Gibson              * FP exceptions always have NIP pointing to the faulting
12541b7d17caSBenjamin Herrenschmidt              * instruction, so always use store_next and claim we are
12551b7d17caSBenjamin Herrenschmidt              * precise in the MSR.
12561b7d17caSBenjamin Herrenschmidt              */
1257c79c73f6SBlue Swirl             msr |= 0x00100000;
12580ee604abSAaron Larson             env->spr[SPR_BOOKE_ESR] = ESR_FP;
1259bd6fefe7SBenjamin Herrenschmidt             break;
1260c79c73f6SBlue Swirl         case POWERPC_EXCP_INVAL:
12612eb1ef73SCédric Le Goater             trace_ppc_excp_inval(env->nip);
1262c79c73f6SBlue Swirl             msr |= 0x00080000;
1263c79c73f6SBlue Swirl             env->spr[SPR_BOOKE_ESR] = ESR_PIL;
1264c79c73f6SBlue Swirl             break;
1265c79c73f6SBlue Swirl         case POWERPC_EXCP_PRIV:
1266c79c73f6SBlue Swirl             msr |= 0x00040000;
1267c79c73f6SBlue Swirl             env->spr[SPR_BOOKE_ESR] = ESR_PPR;
1268c79c73f6SBlue Swirl             break;
1269c79c73f6SBlue Swirl         case POWERPC_EXCP_TRAP:
1270c79c73f6SBlue Swirl             msr |= 0x00020000;
1271c79c73f6SBlue Swirl             env->spr[SPR_BOOKE_ESR] = ESR_PTR;
1272c79c73f6SBlue Swirl             break;
1273c79c73f6SBlue Swirl         default:
1274c79c73f6SBlue Swirl             /* Should never occur */
1275a47dddd7SAndreas Färber             cpu_abort(cs, "Invalid program exception %d. Aborting\n",
1276c79c73f6SBlue Swirl                       env->error_code);
1277c79c73f6SBlue Swirl             break;
1278c79c73f6SBlue Swirl         }
1279bd6fefe7SBenjamin Herrenschmidt         break;
1280c79c73f6SBlue Swirl     case POWERPC_EXCP_SYSCALL:   /* System call exception                    */
1281c79c73f6SBlue Swirl         lev = env->error_code;
12826d49d6d4SBenjamin Herrenschmidt 
12836dc6b557SNicholas Piggin         if ((lev == 1) && cpu->vhyp) {
12846dc6b557SNicholas Piggin             dump_hcall(env);
12856dc6b557SNicholas Piggin         } else {
12866dc6b557SNicholas Piggin             dump_syscall(env);
12876dc6b557SNicholas Piggin         }
12886dc6b557SNicholas Piggin 
128947733729SDavid Gibson         /*
129047733729SDavid Gibson          * We need to correct the NIP which in this case is supposed
1291bd6fefe7SBenjamin Herrenschmidt          * to point to the next instruction
1292bd6fefe7SBenjamin Herrenschmidt          */
1293bd6fefe7SBenjamin Herrenschmidt         env->nip += 4;
1294bd6fefe7SBenjamin Herrenschmidt 
12956d49d6d4SBenjamin Herrenschmidt         /* "PAPR mode" built-in hypercall emulation */
12961d1be34dSDavid Gibson         if ((lev == 1) && cpu->vhyp) {
12971d1be34dSDavid Gibson             PPCVirtualHypervisorClass *vhc =
12981d1be34dSDavid Gibson                 PPC_VIRTUAL_HYPERVISOR_GET_CLASS(cpu->vhyp);
12991d1be34dSDavid Gibson             vhc->hypercall(cpu->vhyp, cpu);
1300c79c73f6SBlue Swirl             return;
1301c79c73f6SBlue Swirl         }
13026d49d6d4SBenjamin Herrenschmidt         if (lev == 1) {
1303c79c73f6SBlue Swirl             new_msr |= (target_ulong)MSR_HVB;
1304c79c73f6SBlue Swirl         }
1305bd6fefe7SBenjamin Herrenschmidt         break;
13063c89b8d6SNicholas Piggin     case POWERPC_EXCP_SYSCALL_VECTORED: /* scv exception                     */
13073c89b8d6SNicholas Piggin         lev = env->error_code;
13080c87018cSFabiano Rosas         dump_syscall(env);
13093c89b8d6SNicholas Piggin         env->nip += 4;
13103c89b8d6SNicholas Piggin         new_msr |= env->msr & ((target_ulong)1 << MSR_EE);
13113c89b8d6SNicholas Piggin         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
13125ac11b12SFabiano Rosas 
13135ac11b12SFabiano Rosas         vector += lev * 0x20;
13145ac11b12SFabiano Rosas 
13155ac11b12SFabiano Rosas         env->lr = env->nip;
13165ac11b12SFabiano Rosas         env->ctr = msr;
13173c89b8d6SNicholas Piggin         break;
1318bd6fefe7SBenjamin Herrenschmidt     case POWERPC_EXCP_FPU:       /* Floating-point unavailable exception     */
1319c79c73f6SBlue Swirl     case POWERPC_EXCP_APU:       /* Auxiliary processor unavailable          */
1320c79c73f6SBlue Swirl     case POWERPC_EXCP_DECR:      /* Decrementer exception                    */
1321bd6fefe7SBenjamin Herrenschmidt         break;
1322c79c73f6SBlue Swirl     case POWERPC_EXCP_FIT:       /* Fixed-interval timer interrupt           */
1323c79c73f6SBlue Swirl         /* FIT on 4xx */
13242eb1ef73SCédric Le Goater         trace_ppc_excp_print("FIT");
1325bd6fefe7SBenjamin Herrenschmidt         break;
1326c79c73f6SBlue Swirl     case POWERPC_EXCP_WDT:       /* Watchdog timer interrupt                 */
13272eb1ef73SCédric Le Goater         trace_ppc_excp_print("WDT");
1328c79c73f6SBlue Swirl         switch (excp_model) {
1329c79c73f6SBlue Swirl         case POWERPC_EXCP_BOOKE:
1330c79c73f6SBlue Swirl             srr0 = SPR_BOOKE_CSRR0;
1331c79c73f6SBlue Swirl             srr1 = SPR_BOOKE_CSRR1;
1332c79c73f6SBlue Swirl             break;
1333c79c73f6SBlue Swirl         default:
1334c79c73f6SBlue Swirl             break;
1335c79c73f6SBlue Swirl         }
1336bd6fefe7SBenjamin Herrenschmidt         break;
1337c79c73f6SBlue Swirl     case POWERPC_EXCP_DTLB:      /* Data TLB error                           */
1338c79c73f6SBlue Swirl     case POWERPC_EXCP_ITLB:      /* Instruction TLB error                    */
1339bd6fefe7SBenjamin Herrenschmidt         break;
1340c79c73f6SBlue Swirl     case POWERPC_EXCP_DEBUG:     /* Debug interrupt                          */
13410e3bf489SRoman Kapl         if (env->flags & POWERPC_FLAG_DE) {
1342a1bb7384SScott Wood             /* FIXME: choose one or the other based on CPU type */
1343c79c73f6SBlue Swirl             srr0 = SPR_BOOKE_DSRR0;
1344c79c73f6SBlue Swirl             srr1 = SPR_BOOKE_DSRR1;
134519e70626SFabiano Rosas 
134619e70626SFabiano Rosas             env->spr[SPR_BOOKE_CSRR0] = env->nip;
134719e70626SFabiano Rosas             env->spr[SPR_BOOKE_CSRR1] = msr;
134819e70626SFabiano Rosas 
13490e3bf489SRoman Kapl             /* DBSR already modified by caller */
13500e3bf489SRoman Kapl         } else {
13510e3bf489SRoman Kapl             cpu_abort(cs, "Debug exception triggered on unsupported model\n");
1352c79c73f6SBlue Swirl         }
1353bd6fefe7SBenjamin Herrenschmidt         break;
13547fc1dc83SFabiano Rosas     case POWERPC_EXCP_SPEU:   /* SPE/embedded floating-point unavailable/VPU  */
1355c79c73f6SBlue Swirl         env->spr[SPR_BOOKE_ESR] = ESR_SPV;
1356bd6fefe7SBenjamin Herrenschmidt         break;
1357c79c73f6SBlue Swirl     case POWERPC_EXCP_DOORI:     /* Embedded doorbell interrupt              */
1358bd6fefe7SBenjamin Herrenschmidt         break;
1359c79c73f6SBlue Swirl     case POWERPC_EXCP_DOORCI:    /* Embedded doorbell critical interrupt     */
1360c79c73f6SBlue Swirl         srr0 = SPR_BOOKE_CSRR0;
1361c79c73f6SBlue Swirl         srr1 = SPR_BOOKE_CSRR1;
1362bd6fefe7SBenjamin Herrenschmidt         break;
1363c79c73f6SBlue Swirl     case POWERPC_EXCP_RESET:     /* System reset exception                   */
1364f85bcec3SNicholas Piggin         /* A power-saving exception sets ME, otherwise it is unchanged */
1365c79c73f6SBlue Swirl         if (msr_pow) {
1366c79c73f6SBlue Swirl             /* indicate that we resumed from power save mode */
1367c79c73f6SBlue Swirl             msr |= 0x10000;
1368f85bcec3SNicholas Piggin             new_msr |= ((target_ulong)1 << MSR_ME);
1369c79c73f6SBlue Swirl         }
137010c21b5cSNicholas Piggin         if (env->msr_mask & MSR_HVB) {
137147733729SDavid Gibson             /*
137247733729SDavid Gibson              * ISA specifies HV, but can be delivered to guest with HV
137347733729SDavid Gibson              * clear (e.g., see FWNMI in PAPR, NMI injection in QEMU).
137410c21b5cSNicholas Piggin              */
1375c79c73f6SBlue Swirl             new_msr |= (target_ulong)MSR_HVB;
137610c21b5cSNicholas Piggin         } else {
137710c21b5cSNicholas Piggin             if (msr_pow) {
137810c21b5cSNicholas Piggin                 cpu_abort(cs, "Trying to deliver power-saving system reset "
137910c21b5cSNicholas Piggin                           "exception %d with no HV support\n", excp);
138010c21b5cSNicholas Piggin             }
138110c21b5cSNicholas Piggin         }
1382bd6fefe7SBenjamin Herrenschmidt         break;
1383c79c73f6SBlue Swirl     case POWERPC_EXCP_DSEG:      /* Data segment exception                   */
1384c79c73f6SBlue Swirl     case POWERPC_EXCP_ISEG:      /* Instruction segment exception            */
1385c79c73f6SBlue Swirl     case POWERPC_EXCP_TRACE:     /* Trace exception                          */
1386bd6fefe7SBenjamin Herrenschmidt         break;
1387d04ea940SCédric Le Goater     case POWERPC_EXCP_HISI:      /* Hypervisor instruction storage exception */
1388d04ea940SCédric Le Goater         msr |= env->error_code;
1389295397f5SChen Qun         /* fall through */
1390bd6fefe7SBenjamin Herrenschmidt     case POWERPC_EXCP_HDECR:     /* Hypervisor decrementer exception         */
1391c79c73f6SBlue Swirl     case POWERPC_EXCP_HDSI:      /* Hypervisor data storage exception        */
1392c79c73f6SBlue Swirl     case POWERPC_EXCP_HDSEG:     /* Hypervisor data segment exception        */
1393c79c73f6SBlue Swirl     case POWERPC_EXCP_HISEG:     /* Hypervisor instruction segment exception */
13947af1e7b0SCédric Le Goater     case POWERPC_EXCP_SDOOR_HV:  /* Hypervisor Doorbell interrupt            */
1395bd6fefe7SBenjamin Herrenschmidt     case POWERPC_EXCP_HV_EMU:
1396d8ce5fd6SBenjamin Herrenschmidt     case POWERPC_EXCP_HVIRT:     /* Hypervisor virtualization                */
1397c79c73f6SBlue Swirl         srr0 = SPR_HSRR0;
1398c79c73f6SBlue Swirl         srr1 = SPR_HSRR1;
1399c79c73f6SBlue Swirl         new_msr |= (target_ulong)MSR_HVB;
1400c79c73f6SBlue Swirl         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
1401bd6fefe7SBenjamin Herrenschmidt         break;
1402c79c73f6SBlue Swirl     case POWERPC_EXCP_VPU:       /* Vector unavailable exception             */
14031f29871cSTom Musta     case POWERPC_EXCP_VSXU:       /* VSX unavailable exception               */
14047019cb3dSAlexey Kardashevskiy     case POWERPC_EXCP_FU:         /* Facility unavailable exception          */
14055310799aSBalbir Singh #ifdef TARGET_PPC64
14065310799aSBalbir Singh         env->spr[SPR_FSCR] |= ((target_ulong)env->error_code << 56);
14075310799aSBalbir Singh #endif
1408bd6fefe7SBenjamin Herrenschmidt         break;
1409493028d8SCédric Le Goater     case POWERPC_EXCP_HV_FU:     /* Hypervisor Facility Unavailable Exception */
1410493028d8SCédric Le Goater #ifdef TARGET_PPC64
1411493028d8SCédric Le Goater         env->spr[SPR_HFSCR] |= ((target_ulong)env->error_code << FSCR_IC_POS);
1412493028d8SCédric Le Goater         srr0 = SPR_HSRR0;
1413493028d8SCédric Le Goater         srr1 = SPR_HSRR1;
1414493028d8SCédric Le Goater         new_msr |= (target_ulong)MSR_HVB;
1415493028d8SCédric Le Goater         new_msr |= env->msr & ((target_ulong)1 << MSR_RI);
1416493028d8SCédric Le Goater #endif
1417493028d8SCédric Le Goater         break;
1418c79c73f6SBlue Swirl     case POWERPC_EXCP_PIT:       /* Programmable interval timer interrupt    */
14192eb1ef73SCédric Le Goater         trace_ppc_excp_print("PIT");
1420bd6fefe7SBenjamin Herrenschmidt         break;
1421c79c73f6SBlue Swirl     case POWERPC_EXCP_IFTLB:     /* Instruction fetch TLB error              */
1422c79c73f6SBlue Swirl     case POWERPC_EXCP_DLTLB:     /* Data load TLB miss                       */
1423c79c73f6SBlue Swirl     case POWERPC_EXCP_DSTLB:     /* Data store TLB miss                      */
1424c79c73f6SBlue Swirl         switch (excp_model) {
1425c79c73f6SBlue Swirl         case POWERPC_EXCP_602:
1426c79c73f6SBlue Swirl         case POWERPC_EXCP_603:
1427c79c73f6SBlue Swirl         case POWERPC_EXCP_G2:
1428c79c73f6SBlue Swirl             /* Swap temporary saved registers with GPRs */
1429c79c73f6SBlue Swirl             if (!(new_msr & ((target_ulong)1 << MSR_TGPR))) {
1430c79c73f6SBlue Swirl                 new_msr |= (target_ulong)1 << MSR_TGPR;
1431c79c73f6SBlue Swirl                 hreg_swap_gpr_tgpr(env);
1432c79c73f6SBlue Swirl             }
143351b385dbSFabiano Rosas             /* fall through */
1434c79c73f6SBlue Swirl         case POWERPC_EXCP_7x5:
1435e4e27df7SFabiano Rosas             ppc_excp_debug_sw_tlb(env, excp);
1436c79c73f6SBlue Swirl 
1437c79c73f6SBlue Swirl             msr |= env->crf[0] << 28;
1438c79c73f6SBlue Swirl             msr |= env->error_code; /* key, D/I, S/L bits */
1439c79c73f6SBlue Swirl             /* Set way using a LRU mechanism */
1440c79c73f6SBlue Swirl             msr |= ((env->last_way + 1) & (env->nb_ways - 1)) << 17;
1441c79c73f6SBlue Swirl             break;
1442c79c73f6SBlue Swirl         default:
144351b385dbSFabiano Rosas             cpu_abort(cs, "Invalid TLB miss exception\n");
1444c79c73f6SBlue Swirl             break;
1445c79c73f6SBlue Swirl         }
1446bd6fefe7SBenjamin Herrenschmidt         break;
14474dff75feSFabiano Rosas     case POWERPC_EXCP_EFPDI:     /* Embedded floating-point data interrupt   */
14484dff75feSFabiano Rosas     case POWERPC_EXCP_EFPRI:     /* Embedded floating-point round interrupt  */
14494dff75feSFabiano Rosas     case POWERPC_EXCP_EPERFM:    /* Embedded performance monitor interrupt   */
14504dff75feSFabiano Rosas     case POWERPC_EXCP_IO:        /* IO error exception                       */
14514dff75feSFabiano Rosas     case POWERPC_EXCP_RUNM:      /* Run mode exception                       */
14524dff75feSFabiano Rosas     case POWERPC_EXCP_EMUL:      /* Emulation trap exception                 */
1453c79c73f6SBlue Swirl     case POWERPC_EXCP_FPA:       /* Floating-point assist exception          */
1454c79c73f6SBlue Swirl     case POWERPC_EXCP_DABR:      /* Data address breakpoint                  */
1455c79c73f6SBlue Swirl     case POWERPC_EXCP_IABR:      /* Instruction address breakpoint           */
1456c79c73f6SBlue Swirl     case POWERPC_EXCP_SMI:       /* System management interrupt              */
1457c79c73f6SBlue Swirl     case POWERPC_EXCP_THERM:     /* Thermal interrupt                        */
1458c79c73f6SBlue Swirl     case POWERPC_EXCP_PERFM:     /* Embedded performance monitor interrupt   */
1459c79c73f6SBlue Swirl     case POWERPC_EXCP_VPUA:      /* Vector assist exception                  */
1460c79c73f6SBlue Swirl     case POWERPC_EXCP_SOFTP:     /* Soft patch exception                     */
1461c79c73f6SBlue Swirl     case POWERPC_EXCP_MAINT:     /* Maintenance exception                    */
1462c79c73f6SBlue Swirl     case POWERPC_EXCP_MEXTBR:    /* Maskable external breakpoint             */
1463c79c73f6SBlue Swirl     case POWERPC_EXCP_NMEXTBR:   /* Non maskable external breakpoint         */
14644dff75feSFabiano Rosas         cpu_abort(cs, "%s exception not implemented\n",
14654dff75feSFabiano Rosas                   powerpc_excp_name(excp));
1466bd6fefe7SBenjamin Herrenschmidt         break;
1467c79c73f6SBlue Swirl     default:
1468c79c73f6SBlue Swirl     excp_invalid:
1469a47dddd7SAndreas Färber         cpu_abort(cs, "Invalid PowerPC exception %d. Aborting\n", excp);
1470c79c73f6SBlue Swirl         break;
1471c79c73f6SBlue Swirl     }
1472bd6fefe7SBenjamin Herrenschmidt 
14736d49d6d4SBenjamin Herrenschmidt     /* Sanity check */
147410c21b5cSNicholas Piggin     if (!(env->msr_mask & MSR_HVB)) {
147510c21b5cSNicholas Piggin         if (new_msr & MSR_HVB) {
147610c21b5cSNicholas Piggin             cpu_abort(cs, "Trying to deliver HV exception (MSR) %d with "
14776d49d6d4SBenjamin Herrenschmidt                       "no HV support\n", excp);
14786d49d6d4SBenjamin Herrenschmidt         }
147910c21b5cSNicholas Piggin         if (srr0 == SPR_HSRR0) {
148010c21b5cSNicholas Piggin             cpu_abort(cs, "Trying to deliver HV exception (HSRR) %d with "
148110c21b5cSNicholas Piggin                       "no HV support\n", excp);
148210c21b5cSNicholas Piggin         }
148310c21b5cSNicholas Piggin     }
14846d49d6d4SBenjamin Herrenschmidt 
148547733729SDavid Gibson     /*
148647733729SDavid Gibson      * Sort out endianness of interrupt, this differs depending on the
14876d49d6d4SBenjamin Herrenschmidt      * CPU, the HV mode, etc...
14886d49d6d4SBenjamin Herrenschmidt      */
148919bd7f57SFabiano Rosas     if (ppc_interrupts_little_endian(cpu, !!(new_msr & MSR_HVB))) {
14906d49d6d4SBenjamin Herrenschmidt         new_msr |= (target_ulong)1 << MSR_LE;
14916d49d6d4SBenjamin Herrenschmidt     }
1492c79c73f6SBlue Swirl 
1493c79c73f6SBlue Swirl #if defined(TARGET_PPC64)
1494c79c73f6SBlue Swirl     if (excp_model == POWERPC_EXCP_BOOKE) {
1495e42a61f1SAlexander Graf         if (env->spr[SPR_BOOKE_EPCR] & EPCR_ICM) {
1496e42a61f1SAlexander Graf             /* Cat.64-bit: EPCR.ICM is copied to MSR.CM */
1497c79c73f6SBlue Swirl             new_msr |= (target_ulong)1 << MSR_CM;
1498e42a61f1SAlexander Graf         } else {
1499e42a61f1SAlexander Graf             vector = (uint32_t)vector;
1500c79c73f6SBlue Swirl         }
1501c79c73f6SBlue Swirl     } else {
1502d57d72a8SGreg Kurz         if (!msr_isf && !mmu_is_64bit(env->mmu_model)) {
1503c79c73f6SBlue Swirl             vector = (uint32_t)vector;
1504c79c73f6SBlue Swirl         } else {
1505c79c73f6SBlue Swirl             new_msr |= (target_ulong)1 << MSR_SF;
1506c79c73f6SBlue Swirl         }
1507c79c73f6SBlue Swirl     }
1508c79c73f6SBlue Swirl #endif
1509cd0c6f47SBenjamin Herrenschmidt 
15103c89b8d6SNicholas Piggin     if (excp != POWERPC_EXCP_SYSCALL_VECTORED) {
15113c89b8d6SNicholas Piggin         /* Save PC */
15123c89b8d6SNicholas Piggin         env->spr[srr0] = env->nip;
15133c89b8d6SNicholas Piggin 
15143c89b8d6SNicholas Piggin         /* Save MSR */
15153c89b8d6SNicholas Piggin         env->spr[srr1] = msr;
15163c89b8d6SNicholas Piggin     }
15173c89b8d6SNicholas Piggin 
15188b7e6b07SNicholas Piggin     /* This can update new_msr and vector if AIL applies */
15198b7e6b07SNicholas Piggin     ppc_excp_apply_ail(cpu, excp_model, excp, msr, &new_msr, &vector);
15208b7e6b07SNicholas Piggin 
1521ad77c6caSNicholas Piggin     powerpc_set_excp_state(cpu, vector, new_msr);
1522c79c73f6SBlue Swirl }
1523c79c73f6SBlue Swirl 
1524dc88dd0aSFabiano Rosas static void powerpc_excp(PowerPCCPU *cpu, int excp)
1525dc88dd0aSFabiano Rosas {
1526dc88dd0aSFabiano Rosas     CPUPPCState *env = &cpu->env;
1527dc88dd0aSFabiano Rosas 
1528dc88dd0aSFabiano Rosas     switch (env->excp_model) {
1529e808c2edSFabiano Rosas     case POWERPC_EXCP_40x:
1530e808c2edSFabiano Rosas         powerpc_excp_40x(cpu, excp);
1531e808c2edSFabiano Rosas         break;
153252926b0dSFabiano Rosas     case POWERPC_EXCP_74xx:
153352926b0dSFabiano Rosas         powerpc_excp_74xx(cpu, excp);
153452926b0dSFabiano Rosas         break;
15359f338e4dSFabiano Rosas     case POWERPC_EXCP_970:
15369f338e4dSFabiano Rosas     case POWERPC_EXCP_POWER7:
15379f338e4dSFabiano Rosas     case POWERPC_EXCP_POWER8:
15389f338e4dSFabiano Rosas     case POWERPC_EXCP_POWER9:
15399f338e4dSFabiano Rosas     case POWERPC_EXCP_POWER10:
15409f338e4dSFabiano Rosas         powerpc_excp_books(cpu, excp);
15419f338e4dSFabiano Rosas         break;
1542dc88dd0aSFabiano Rosas     default:
1543dc88dd0aSFabiano Rosas         powerpc_excp_legacy(cpu, excp);
1544dc88dd0aSFabiano Rosas     }
1545dc88dd0aSFabiano Rosas }
1546dc88dd0aSFabiano Rosas 
154797a8ea5aSAndreas Färber void ppc_cpu_do_interrupt(CPUState *cs)
1548c79c73f6SBlue Swirl {
154997a8ea5aSAndreas Färber     PowerPCCPU *cpu = POWERPC_CPU(cs);
15505c26a5b3SAndreas Färber 
155193130c84SFabiano Rosas     powerpc_excp(cpu, cs->exception_index);
1552c79c73f6SBlue Swirl }
1553c79c73f6SBlue Swirl 
1554458dd766SRichard Henderson static void ppc_hw_interrupt(CPUPPCState *env)
1555c79c73f6SBlue Swirl {
1556db70b311SRichard Henderson     PowerPCCPU *cpu = env_archcpu(env);
15573621e2c9SBenjamin Herrenschmidt     bool async_deliver;
1558259186a7SAndreas Färber 
1559c79c73f6SBlue Swirl     /* External reset */
1560c79c73f6SBlue Swirl     if (env->pending_interrupts & (1 << PPC_INTERRUPT_RESET)) {
1561c79c73f6SBlue Swirl         env->pending_interrupts &= ~(1 << PPC_INTERRUPT_RESET);
156293130c84SFabiano Rosas         powerpc_excp(cpu, POWERPC_EXCP_RESET);
1563c79c73f6SBlue Swirl         return;
1564c79c73f6SBlue Swirl     }
1565c79c73f6SBlue Swirl     /* Machine check exception */
1566c79c73f6SBlue Swirl     if (env->pending_interrupts & (1 << PPC_INTERRUPT_MCK)) {
1567c79c73f6SBlue Swirl         env->pending_interrupts &= ~(1 << PPC_INTERRUPT_MCK);
156893130c84SFabiano Rosas         powerpc_excp(cpu, POWERPC_EXCP_MCHECK);
1569c79c73f6SBlue Swirl         return;
1570c79c73f6SBlue Swirl     }
1571c79c73f6SBlue Swirl #if 0 /* TODO */
1572c79c73f6SBlue Swirl     /* External debug exception */
1573c79c73f6SBlue Swirl     if (env->pending_interrupts & (1 << PPC_INTERRUPT_DEBUG)) {
1574c79c73f6SBlue Swirl         env->pending_interrupts &= ~(1 << PPC_INTERRUPT_DEBUG);
157593130c84SFabiano Rosas         powerpc_excp(cpu, POWERPC_EXCP_DEBUG);
1576c79c73f6SBlue Swirl         return;
1577c79c73f6SBlue Swirl     }
1578c79c73f6SBlue Swirl #endif
15793621e2c9SBenjamin Herrenschmidt 
15803621e2c9SBenjamin Herrenschmidt     /*
15813621e2c9SBenjamin Herrenschmidt      * For interrupts that gate on MSR:EE, we need to do something a
15823621e2c9SBenjamin Herrenschmidt      * bit more subtle, as we need to let them through even when EE is
15833621e2c9SBenjamin Herrenschmidt      * clear when coming out of some power management states (in order
15843621e2c9SBenjamin Herrenschmidt      * for them to become a 0x100).
15853621e2c9SBenjamin Herrenschmidt      */
15861e7fd61dSBenjamin Herrenschmidt     async_deliver = (msr_ee != 0) || env->resume_as_sreset;
15873621e2c9SBenjamin Herrenschmidt 
1588c79c73f6SBlue Swirl     /* Hypervisor decrementer exception */
1589c79c73f6SBlue Swirl     if (env->pending_interrupts & (1 << PPC_INTERRUPT_HDECR)) {
15904b236b62SBenjamin Herrenschmidt         /* LPCR will be clear when not supported so this will work */
15914b236b62SBenjamin Herrenschmidt         bool hdice = !!(env->spr[SPR_LPCR] & LPCR_HDICE);
15923621e2c9SBenjamin Herrenschmidt         if ((async_deliver || msr_hv == 0) && hdice) {
15934b236b62SBenjamin Herrenschmidt             /* HDEC clears on delivery */
15944b236b62SBenjamin Herrenschmidt             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_HDECR);
159593130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_HDECR);
1596c79c73f6SBlue Swirl             return;
1597c79c73f6SBlue Swirl         }
1598c79c73f6SBlue Swirl     }
1599d8ce5fd6SBenjamin Herrenschmidt 
1600d8ce5fd6SBenjamin Herrenschmidt     /* Hypervisor virtualization interrupt */
1601d8ce5fd6SBenjamin Herrenschmidt     if (env->pending_interrupts & (1 << PPC_INTERRUPT_HVIRT)) {
1602d8ce5fd6SBenjamin Herrenschmidt         /* LPCR will be clear when not supported so this will work */
1603d8ce5fd6SBenjamin Herrenschmidt         bool hvice = !!(env->spr[SPR_LPCR] & LPCR_HVICE);
1604d8ce5fd6SBenjamin Herrenschmidt         if ((async_deliver || msr_hv == 0) && hvice) {
160593130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_HVIRT);
1606d8ce5fd6SBenjamin Herrenschmidt             return;
1607d8ce5fd6SBenjamin Herrenschmidt         }
1608d8ce5fd6SBenjamin Herrenschmidt     }
1609d8ce5fd6SBenjamin Herrenschmidt 
1610d8ce5fd6SBenjamin Herrenschmidt     /* External interrupt can ignore MSR:EE under some circumstances */
1611d1dbe37cSBenjamin Herrenschmidt     if (env->pending_interrupts & (1 << PPC_INTERRUPT_EXT)) {
1612d1dbe37cSBenjamin Herrenschmidt         bool lpes0 = !!(env->spr[SPR_LPCR] & LPCR_LPES0);
16136eebe6dcSBenjamin Herrenschmidt         bool heic = !!(env->spr[SPR_LPCR] & LPCR_HEIC);
16146eebe6dcSBenjamin Herrenschmidt         /* HEIC blocks delivery to the hypervisor */
16156eebe6dcSBenjamin Herrenschmidt         if ((async_deliver && !(heic && msr_hv && !msr_pr)) ||
16166eebe6dcSBenjamin Herrenschmidt             (env->has_hv_mode && msr_hv == 0 && !lpes0)) {
161793130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_EXTERNAL);
1618d1dbe37cSBenjamin Herrenschmidt             return;
1619d1dbe37cSBenjamin Herrenschmidt         }
1620d1dbe37cSBenjamin Herrenschmidt     }
1621c79c73f6SBlue Swirl     if (msr_ce != 0) {
1622c79c73f6SBlue Swirl         /* External critical interrupt */
1623c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_CEXT)) {
162493130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_CRITICAL);
1625c79c73f6SBlue Swirl             return;
1626c79c73f6SBlue Swirl         }
1627c79c73f6SBlue Swirl     }
16283621e2c9SBenjamin Herrenschmidt     if (async_deliver != 0) {
1629c79c73f6SBlue Swirl         /* Watchdog timer on embedded PowerPC */
1630c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_WDT)) {
1631c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_WDT);
163293130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_WDT);
1633c79c73f6SBlue Swirl             return;
1634c79c73f6SBlue Swirl         }
1635c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_CDOORBELL)) {
1636c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_CDOORBELL);
163793130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_DOORCI);
1638c79c73f6SBlue Swirl             return;
1639c79c73f6SBlue Swirl         }
1640c79c73f6SBlue Swirl         /* Fixed interval timer on embedded PowerPC */
1641c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_FIT)) {
1642c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_FIT);
164393130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_FIT);
1644c79c73f6SBlue Swirl             return;
1645c79c73f6SBlue Swirl         }
1646c79c73f6SBlue Swirl         /* Programmable interval timer on embedded PowerPC */
1647c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_PIT)) {
1648c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_PIT);
164993130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_PIT);
1650c79c73f6SBlue Swirl             return;
1651c79c73f6SBlue Swirl         }
1652c79c73f6SBlue Swirl         /* Decrementer exception */
1653c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_DECR)) {
1654e81a982aSAlexander Graf             if (ppc_decr_clear_on_delivery(env)) {
1655c79c73f6SBlue Swirl                 env->pending_interrupts &= ~(1 << PPC_INTERRUPT_DECR);
1656e81a982aSAlexander Graf             }
165793130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_DECR);
1658c79c73f6SBlue Swirl             return;
1659c79c73f6SBlue Swirl         }
1660c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_DOORBELL)) {
1661c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_DOORBELL);
16625ba7ba1dSCédric Le Goater             if (is_book3s_arch2x(env)) {
166393130c84SFabiano Rosas                 powerpc_excp(cpu, POWERPC_EXCP_SDOOR);
16645ba7ba1dSCédric Le Goater             } else {
166593130c84SFabiano Rosas                 powerpc_excp(cpu, POWERPC_EXCP_DOORI);
16665ba7ba1dSCédric Le Goater             }
1667c79c73f6SBlue Swirl             return;
1668c79c73f6SBlue Swirl         }
16697af1e7b0SCédric Le Goater         if (env->pending_interrupts & (1 << PPC_INTERRUPT_HDOORBELL)) {
16707af1e7b0SCédric Le Goater             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_HDOORBELL);
167193130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_SDOOR_HV);
16727af1e7b0SCédric Le Goater             return;
16737af1e7b0SCédric Le Goater         }
1674c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_PERFM)) {
1675c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_PERFM);
167693130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_PERFM);
1677c79c73f6SBlue Swirl             return;
1678c79c73f6SBlue Swirl         }
1679c79c73f6SBlue Swirl         /* Thermal interrupt */
1680c79c73f6SBlue Swirl         if (env->pending_interrupts & (1 << PPC_INTERRUPT_THERM)) {
1681c79c73f6SBlue Swirl             env->pending_interrupts &= ~(1 << PPC_INTERRUPT_THERM);
168293130c84SFabiano Rosas             powerpc_excp(cpu, POWERPC_EXCP_THERM);
1683c79c73f6SBlue Swirl             return;
1684c79c73f6SBlue Swirl         }
1685c79c73f6SBlue Swirl     }
1686f8154fd2SBenjamin Herrenschmidt 
1687f8154fd2SBenjamin Herrenschmidt     if (env->resume_as_sreset) {
1688f8154fd2SBenjamin Herrenschmidt         /*
1689f8154fd2SBenjamin Herrenschmidt          * This is a bug ! It means that has_work took us out of halt without
1690f8154fd2SBenjamin Herrenschmidt          * anything to deliver while in a PM state that requires getting
1691f8154fd2SBenjamin Herrenschmidt          * out via a 0x100
1692f8154fd2SBenjamin Herrenschmidt          *
1693f8154fd2SBenjamin Herrenschmidt          * This means we will incorrectly execute past the power management
1694f8154fd2SBenjamin Herrenschmidt          * instruction instead of triggering a reset.
1695f8154fd2SBenjamin Herrenschmidt          *
1696136fbf65Szhaolichang          * It generally means a discrepancy between the wakeup conditions in the
1697f8154fd2SBenjamin Herrenschmidt          * processor has_work implementation and the logic in this function.
1698f8154fd2SBenjamin Herrenschmidt          */
1699db70b311SRichard Henderson         cpu_abort(env_cpu(env),
1700f8154fd2SBenjamin Herrenschmidt                   "Wakeup from PM state but interrupt Undelivered");
1701f8154fd2SBenjamin Herrenschmidt     }
1702c79c73f6SBlue Swirl }
170334316482SAlexey Kardashevskiy 
1704b5b7f391SNicholas Piggin void ppc_cpu_do_system_reset(CPUState *cs)
170534316482SAlexey Kardashevskiy {
170634316482SAlexey Kardashevskiy     PowerPCCPU *cpu = POWERPC_CPU(cs);
170734316482SAlexey Kardashevskiy 
170893130c84SFabiano Rosas     powerpc_excp(cpu, POWERPC_EXCP_RESET);
170934316482SAlexey Kardashevskiy }
1710ad77c6caSNicholas Piggin 
1711ad77c6caSNicholas Piggin void ppc_cpu_do_fwnmi_machine_check(CPUState *cs, target_ulong vector)
1712ad77c6caSNicholas Piggin {
1713ad77c6caSNicholas Piggin     PowerPCCPU *cpu = POWERPC_CPU(cs);
1714ad77c6caSNicholas Piggin     CPUPPCState *env = &cpu->env;
1715ad77c6caSNicholas Piggin     target_ulong msr = 0;
1716ad77c6caSNicholas Piggin 
1717ad77c6caSNicholas Piggin     /*
1718ad77c6caSNicholas Piggin      * Set MSR and NIP for the handler, SRR0/1, DAR and DSISR have already
1719ad77c6caSNicholas Piggin      * been set by KVM.
1720ad77c6caSNicholas Piggin      */
1721ad77c6caSNicholas Piggin     msr = (1ULL << MSR_ME);
1722ad77c6caSNicholas Piggin     msr |= env->msr & (1ULL << MSR_SF);
1723516fc103SFabiano Rosas     if (ppc_interrupts_little_endian(cpu, false)) {
1724ad77c6caSNicholas Piggin         msr |= (1ULL << MSR_LE);
1725ad77c6caSNicholas Piggin     }
1726ad77c6caSNicholas Piggin 
1727ad77c6caSNicholas Piggin     powerpc_set_excp_state(cpu, vector, msr);
1728ad77c6caSNicholas Piggin }
1729c79c73f6SBlue Swirl 
1730458dd766SRichard Henderson bool ppc_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
1731458dd766SRichard Henderson {
1732458dd766SRichard Henderson     PowerPCCPU *cpu = POWERPC_CPU(cs);
1733458dd766SRichard Henderson     CPUPPCState *env = &cpu->env;
1734458dd766SRichard Henderson 
1735458dd766SRichard Henderson     if (interrupt_request & CPU_INTERRUPT_HARD) {
1736458dd766SRichard Henderson         ppc_hw_interrupt(env);
1737458dd766SRichard Henderson         if (env->pending_interrupts == 0) {
1738458dd766SRichard Henderson             cs->interrupt_request &= ~CPU_INTERRUPT_HARD;
1739458dd766SRichard Henderson         }
1740458dd766SRichard Henderson         return true;
1741458dd766SRichard Henderson     }
1742458dd766SRichard Henderson     return false;
1743458dd766SRichard Henderson }
1744458dd766SRichard Henderson 
1745f725245cSPhilippe Mathieu-Daudé #endif /* !CONFIG_USER_ONLY */
1746f725245cSPhilippe Mathieu-Daudé 
1747ad71ed68SBlue Swirl /*****************************************************************************/
1748ad71ed68SBlue Swirl /* Exceptions processing helpers */
1749ad71ed68SBlue Swirl 
1750db789c6cSBenjamin Herrenschmidt void raise_exception_err_ra(CPUPPCState *env, uint32_t exception,
1751db789c6cSBenjamin Herrenschmidt                             uint32_t error_code, uintptr_t raddr)
1752ad71ed68SBlue Swirl {
1753db70b311SRichard Henderson     CPUState *cs = env_cpu(env);
175427103424SAndreas Färber 
175527103424SAndreas Färber     cs->exception_index = exception;
1756ad71ed68SBlue Swirl     env->error_code = error_code;
1757db789c6cSBenjamin Herrenschmidt     cpu_loop_exit_restore(cs, raddr);
1758db789c6cSBenjamin Herrenschmidt }
1759db789c6cSBenjamin Herrenschmidt 
1760db789c6cSBenjamin Herrenschmidt void raise_exception_err(CPUPPCState *env, uint32_t exception,
1761db789c6cSBenjamin Herrenschmidt                          uint32_t error_code)
1762db789c6cSBenjamin Herrenschmidt {
1763db789c6cSBenjamin Herrenschmidt     raise_exception_err_ra(env, exception, error_code, 0);
1764db789c6cSBenjamin Herrenschmidt }
1765db789c6cSBenjamin Herrenschmidt 
1766db789c6cSBenjamin Herrenschmidt void raise_exception(CPUPPCState *env, uint32_t exception)
1767db789c6cSBenjamin Herrenschmidt {
1768db789c6cSBenjamin Herrenschmidt     raise_exception_err_ra(env, exception, 0, 0);
1769db789c6cSBenjamin Herrenschmidt }
1770db789c6cSBenjamin Herrenschmidt 
1771db789c6cSBenjamin Herrenschmidt void raise_exception_ra(CPUPPCState *env, uint32_t exception,
1772db789c6cSBenjamin Herrenschmidt                         uintptr_t raddr)
1773db789c6cSBenjamin Herrenschmidt {
1774db789c6cSBenjamin Herrenschmidt     raise_exception_err_ra(env, exception, 0, raddr);
1775db789c6cSBenjamin Herrenschmidt }
1776db789c6cSBenjamin Herrenschmidt 
17772b44e219SBruno Larsen (billionai) #ifdef CONFIG_TCG
1778db789c6cSBenjamin Herrenschmidt void helper_raise_exception_err(CPUPPCState *env, uint32_t exception,
1779db789c6cSBenjamin Herrenschmidt                                 uint32_t error_code)
1780db789c6cSBenjamin Herrenschmidt {
1781db789c6cSBenjamin Herrenschmidt     raise_exception_err_ra(env, exception, error_code, 0);
1782ad71ed68SBlue Swirl }
1783ad71ed68SBlue Swirl 
1784e5f17ac6SBlue Swirl void helper_raise_exception(CPUPPCState *env, uint32_t exception)
1785ad71ed68SBlue Swirl {
1786db789c6cSBenjamin Herrenschmidt     raise_exception_err_ra(env, exception, 0, 0);
1787ad71ed68SBlue Swirl }
17882b44e219SBruno Larsen (billionai) #endif
1789ad71ed68SBlue Swirl 
1790ad71ed68SBlue Swirl #if !defined(CONFIG_USER_ONLY)
17912b44e219SBruno Larsen (billionai) #ifdef CONFIG_TCG
1792e5f17ac6SBlue Swirl void helper_store_msr(CPUPPCState *env, target_ulong val)
1793ad71ed68SBlue Swirl {
1794db789c6cSBenjamin Herrenschmidt     uint32_t excp = hreg_store_msr(env, val, 0);
1795259186a7SAndreas Färber 
1796db789c6cSBenjamin Herrenschmidt     if (excp != 0) {
1797db70b311SRichard Henderson         CPUState *cs = env_cpu(env);
1798044897efSRichard Purdie         cpu_interrupt_exittb(cs);
1799db789c6cSBenjamin Herrenschmidt         raise_exception(env, excp);
1800ad71ed68SBlue Swirl     }
1801ad71ed68SBlue Swirl }
1802ad71ed68SBlue Swirl 
18037778a575SBenjamin Herrenschmidt #if defined(TARGET_PPC64)
1804f43520e5SRichard Henderson void helper_scv(CPUPPCState *env, uint32_t lev)
1805f43520e5SRichard Henderson {
1806f43520e5SRichard Henderson     if (env->spr[SPR_FSCR] & (1ull << FSCR_SCV)) {
1807f43520e5SRichard Henderson         raise_exception_err(env, POWERPC_EXCP_SYSCALL_VECTORED, lev);
1808f43520e5SRichard Henderson     } else {
1809f43520e5SRichard Henderson         raise_exception_err(env, POWERPC_EXCP_FU, FSCR_IC_SCV);
1810f43520e5SRichard Henderson     }
1811f43520e5SRichard Henderson }
1812f43520e5SRichard Henderson 
18137778a575SBenjamin Herrenschmidt void helper_pminsn(CPUPPCState *env, powerpc_pm_insn_t insn)
18147778a575SBenjamin Herrenschmidt {
18157778a575SBenjamin Herrenschmidt     CPUState *cs;
18167778a575SBenjamin Herrenschmidt 
1817db70b311SRichard Henderson     cs = env_cpu(env);
18187778a575SBenjamin Herrenschmidt     cs->halted = 1;
18197778a575SBenjamin Herrenschmidt 
18203621e2c9SBenjamin Herrenschmidt     /* Condition for waking up at 0x100 */
18211e7fd61dSBenjamin Herrenschmidt     env->resume_as_sreset = (insn != PPC_PM_STOP) ||
182221c0d66aSBenjamin Herrenschmidt         (env->spr[SPR_PSSCR] & PSSCR_EC);
18237778a575SBenjamin Herrenschmidt }
18247778a575SBenjamin Herrenschmidt #endif /* defined(TARGET_PPC64) */
18257778a575SBenjamin Herrenschmidt 
182662e79ef9SCédric Le Goater static void do_rfi(CPUPPCState *env, target_ulong nip, target_ulong msr)
1827ad71ed68SBlue Swirl {
1828db70b311SRichard Henderson     CPUState *cs = env_cpu(env);
1829259186a7SAndreas Färber 
1830a2e71b28SBenjamin Herrenschmidt     /* MSR:POW cannot be set by any form of rfi */
1831a2e71b28SBenjamin Herrenschmidt     msr &= ~(1ULL << MSR_POW);
1832a2e71b28SBenjamin Herrenschmidt 
18335aad0457SChristophe Leroy     /* MSR:TGPR cannot be set by any form of rfi */
18345aad0457SChristophe Leroy     if (env->flags & POWERPC_FLAG_TGPR)
18355aad0457SChristophe Leroy         msr &= ~(1ULL << MSR_TGPR);
18365aad0457SChristophe Leroy 
1837ad71ed68SBlue Swirl #if defined(TARGET_PPC64)
1838a2e71b28SBenjamin Herrenschmidt     /* Switching to 32-bit ? Crop the nip */
1839a2e71b28SBenjamin Herrenschmidt     if (!msr_is_64bit(env, msr)) {
1840ad71ed68SBlue Swirl         nip = (uint32_t)nip;
1841ad71ed68SBlue Swirl     }
1842ad71ed68SBlue Swirl #else
1843ad71ed68SBlue Swirl     nip = (uint32_t)nip;
1844ad71ed68SBlue Swirl #endif
1845ad71ed68SBlue Swirl     /* XXX: beware: this is false if VLE is supported */
1846ad71ed68SBlue Swirl     env->nip = nip & ~((target_ulong)0x00000003);
1847ad71ed68SBlue Swirl     hreg_store_msr(env, msr, 1);
18482eb1ef73SCédric Le Goater     trace_ppc_excp_rfi(env->nip, env->msr);
184947733729SDavid Gibson     /*
185047733729SDavid Gibson      * No need to raise an exception here, as rfi is always the last
185147733729SDavid Gibson      * insn of a TB
1852ad71ed68SBlue Swirl      */
1853044897efSRichard Purdie     cpu_interrupt_exittb(cs);
1854a8b73734SNikunj A Dadhania     /* Reset the reservation */
1855a8b73734SNikunj A Dadhania     env->reserve_addr = -1;
1856a8b73734SNikunj A Dadhania 
1857cd0c6f47SBenjamin Herrenschmidt     /* Context synchronizing: check if TCG TLB needs flush */
1858e3cffe6fSNikunj A Dadhania     check_tlb_flush(env, false);
1859ad71ed68SBlue Swirl }
1860ad71ed68SBlue Swirl 
1861e5f17ac6SBlue Swirl void helper_rfi(CPUPPCState *env)
1862ad71ed68SBlue Swirl {
1863a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_SRR0], env->spr[SPR_SRR1] & 0xfffffffful);
1864a1bb7384SScott Wood }
1865ad71ed68SBlue Swirl 
1866a2e71b28SBenjamin Herrenschmidt #define MSR_BOOK3S_MASK
1867ad71ed68SBlue Swirl #if defined(TARGET_PPC64)
1868e5f17ac6SBlue Swirl void helper_rfid(CPUPPCState *env)
1869ad71ed68SBlue Swirl {
187047733729SDavid Gibson     /*
1871136fbf65Szhaolichang      * The architecture defines a number of rules for which bits can
187247733729SDavid Gibson      * change but in practice, we handle this in hreg_store_msr()
1873a2e71b28SBenjamin Herrenschmidt      * which will be called by do_rfi(), so there is no need to filter
1874a2e71b28SBenjamin Herrenschmidt      * here
1875a2e71b28SBenjamin Herrenschmidt      */
1876a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_SRR0], env->spr[SPR_SRR1]);
1877ad71ed68SBlue Swirl }
1878ad71ed68SBlue Swirl 
18793c89b8d6SNicholas Piggin void helper_rfscv(CPUPPCState *env)
18803c89b8d6SNicholas Piggin {
18813c89b8d6SNicholas Piggin     do_rfi(env, env->lr, env->ctr);
18823c89b8d6SNicholas Piggin }
18833c89b8d6SNicholas Piggin 
1884e5f17ac6SBlue Swirl void helper_hrfid(CPUPPCState *env)
1885ad71ed68SBlue Swirl {
1886a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_HSRR0], env->spr[SPR_HSRR1]);
1887ad71ed68SBlue Swirl }
1888ad71ed68SBlue Swirl #endif
1889ad71ed68SBlue Swirl 
18901f26c751SDaniel Henrique Barboza #if defined(TARGET_PPC64) && !defined(CONFIG_USER_ONLY)
18911f26c751SDaniel Henrique Barboza void helper_rfebb(CPUPPCState *env, target_ulong s)
18921f26c751SDaniel Henrique Barboza {
18931f26c751SDaniel Henrique Barboza     target_ulong msr = env->msr;
18941f26c751SDaniel Henrique Barboza 
18951f26c751SDaniel Henrique Barboza     /*
18961f26c751SDaniel Henrique Barboza      * Handling of BESCR bits 32:33 according to PowerISA v3.1:
18971f26c751SDaniel Henrique Barboza      *
18981f26c751SDaniel Henrique Barboza      * "If BESCR 32:33 != 0b00 the instruction is treated as if
18991f26c751SDaniel Henrique Barboza      *  the instruction form were invalid."
19001f26c751SDaniel Henrique Barboza      */
19011f26c751SDaniel Henrique Barboza     if (env->spr[SPR_BESCR] & BESCR_INVALID) {
19021f26c751SDaniel Henrique Barboza         raise_exception_err(env, POWERPC_EXCP_PROGRAM,
19031f26c751SDaniel Henrique Barboza                             POWERPC_EXCP_INVAL | POWERPC_EXCP_INVAL_INVAL);
19041f26c751SDaniel Henrique Barboza     }
19051f26c751SDaniel Henrique Barboza 
19061f26c751SDaniel Henrique Barboza     env->nip = env->spr[SPR_EBBRR];
19071f26c751SDaniel Henrique Barboza 
19081f26c751SDaniel Henrique Barboza     /* Switching to 32-bit ? Crop the nip */
19091f26c751SDaniel Henrique Barboza     if (!msr_is_64bit(env, msr)) {
19101f26c751SDaniel Henrique Barboza         env->nip = (uint32_t)env->spr[SPR_EBBRR];
19111f26c751SDaniel Henrique Barboza     }
19121f26c751SDaniel Henrique Barboza 
19131f26c751SDaniel Henrique Barboza     if (s) {
19141f26c751SDaniel Henrique Barboza         env->spr[SPR_BESCR] |= BESCR_GE;
19151f26c751SDaniel Henrique Barboza     } else {
19161f26c751SDaniel Henrique Barboza         env->spr[SPR_BESCR] &= ~BESCR_GE;
19171f26c751SDaniel Henrique Barboza     }
19181f26c751SDaniel Henrique Barboza }
19191f26c751SDaniel Henrique Barboza #endif
19201f26c751SDaniel Henrique Barboza 
1921ad71ed68SBlue Swirl /*****************************************************************************/
1922ad71ed68SBlue Swirl /* Embedded PowerPC specific helpers */
1923e5f17ac6SBlue Swirl void helper_40x_rfci(CPUPPCState *env)
1924ad71ed68SBlue Swirl {
1925a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_40x_SRR2], env->spr[SPR_40x_SRR3]);
1926ad71ed68SBlue Swirl }
1927ad71ed68SBlue Swirl 
1928e5f17ac6SBlue Swirl void helper_rfci(CPUPPCState *env)
1929ad71ed68SBlue Swirl {
1930a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_BOOKE_CSRR0], env->spr[SPR_BOOKE_CSRR1]);
1931ad71ed68SBlue Swirl }
1932ad71ed68SBlue Swirl 
1933e5f17ac6SBlue Swirl void helper_rfdi(CPUPPCState *env)
1934ad71ed68SBlue Swirl {
1935a1bb7384SScott Wood     /* FIXME: choose CSRR1 or DSRR1 based on cpu type */
1936a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_BOOKE_DSRR0], env->spr[SPR_BOOKE_DSRR1]);
1937ad71ed68SBlue Swirl }
1938ad71ed68SBlue Swirl 
1939e5f17ac6SBlue Swirl void helper_rfmci(CPUPPCState *env)
1940ad71ed68SBlue Swirl {
1941a1bb7384SScott Wood     /* FIXME: choose CSRR1 or MCSRR1 based on cpu type */
1942a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->spr[SPR_BOOKE_MCSRR0], env->spr[SPR_BOOKE_MCSRR1]);
1943ad71ed68SBlue Swirl }
19442b44e219SBruno Larsen (billionai) #endif /* CONFIG_TCG */
19452b44e219SBruno Larsen (billionai) #endif /* !defined(CONFIG_USER_ONLY) */
1946ad71ed68SBlue Swirl 
19472b44e219SBruno Larsen (billionai) #ifdef CONFIG_TCG
1948e5f17ac6SBlue Swirl void helper_tw(CPUPPCState *env, target_ulong arg1, target_ulong arg2,
1949e5f17ac6SBlue Swirl                uint32_t flags)
1950ad71ed68SBlue Swirl {
1951ad71ed68SBlue Swirl     if (!likely(!(((int32_t)arg1 < (int32_t)arg2 && (flags & 0x10)) ||
1952ad71ed68SBlue Swirl                   ((int32_t)arg1 > (int32_t)arg2 && (flags & 0x08)) ||
1953ad71ed68SBlue Swirl                   ((int32_t)arg1 == (int32_t)arg2 && (flags & 0x04)) ||
1954ad71ed68SBlue Swirl                   ((uint32_t)arg1 < (uint32_t)arg2 && (flags & 0x02)) ||
1955ad71ed68SBlue Swirl                   ((uint32_t)arg1 > (uint32_t)arg2 && (flags & 0x01))))) {
195672073dccSBenjamin Herrenschmidt         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
195772073dccSBenjamin Herrenschmidt                                POWERPC_EXCP_TRAP, GETPC());
1958ad71ed68SBlue Swirl     }
1959ad71ed68SBlue Swirl }
1960ad71ed68SBlue Swirl 
1961ad71ed68SBlue Swirl #if defined(TARGET_PPC64)
1962e5f17ac6SBlue Swirl void helper_td(CPUPPCState *env, target_ulong arg1, target_ulong arg2,
1963e5f17ac6SBlue Swirl                uint32_t flags)
1964ad71ed68SBlue Swirl {
1965ad71ed68SBlue Swirl     if (!likely(!(((int64_t)arg1 < (int64_t)arg2 && (flags & 0x10)) ||
1966ad71ed68SBlue Swirl                   ((int64_t)arg1 > (int64_t)arg2 && (flags & 0x08)) ||
1967ad71ed68SBlue Swirl                   ((int64_t)arg1 == (int64_t)arg2 && (flags & 0x04)) ||
1968ad71ed68SBlue Swirl                   ((uint64_t)arg1 < (uint64_t)arg2 && (flags & 0x02)) ||
1969ad71ed68SBlue Swirl                   ((uint64_t)arg1 > (uint64_t)arg2 && (flags & 0x01))))) {
197072073dccSBenjamin Herrenschmidt         raise_exception_err_ra(env, POWERPC_EXCP_PROGRAM,
197172073dccSBenjamin Herrenschmidt                                POWERPC_EXCP_TRAP, GETPC());
1972ad71ed68SBlue Swirl     }
1973ad71ed68SBlue Swirl }
1974ad71ed68SBlue Swirl #endif
19752b44e219SBruno Larsen (billionai) #endif
1976ad71ed68SBlue Swirl 
1977ad71ed68SBlue Swirl #if !defined(CONFIG_USER_ONLY)
1978ad71ed68SBlue Swirl /*****************************************************************************/
1979ad71ed68SBlue Swirl /* PowerPC 601 specific instructions (POWER bridge) */
1980ad71ed68SBlue Swirl 
19812b44e219SBruno Larsen (billionai) #ifdef CONFIG_TCG
1982e5f17ac6SBlue Swirl void helper_rfsvc(CPUPPCState *env)
1983ad71ed68SBlue Swirl {
1984a2e71b28SBenjamin Herrenschmidt     do_rfi(env, env->lr, env->ctr & 0x0000FFFF);
1985ad71ed68SBlue Swirl }
1986ad71ed68SBlue Swirl 
1987ad71ed68SBlue Swirl /* Embedded.Processor Control */
1988ad71ed68SBlue Swirl static int dbell2irq(target_ulong rb)
1989ad71ed68SBlue Swirl {
1990ad71ed68SBlue Swirl     int msg = rb & DBELL_TYPE_MASK;
1991ad71ed68SBlue Swirl     int irq = -1;
1992ad71ed68SBlue Swirl 
1993ad71ed68SBlue Swirl     switch (msg) {
1994ad71ed68SBlue Swirl     case DBELL_TYPE_DBELL:
1995ad71ed68SBlue Swirl         irq = PPC_INTERRUPT_DOORBELL;
1996ad71ed68SBlue Swirl         break;
1997ad71ed68SBlue Swirl     case DBELL_TYPE_DBELL_CRIT:
1998ad71ed68SBlue Swirl         irq = PPC_INTERRUPT_CDOORBELL;
1999ad71ed68SBlue Swirl         break;
2000ad71ed68SBlue Swirl     case DBELL_TYPE_G_DBELL:
2001ad71ed68SBlue Swirl     case DBELL_TYPE_G_DBELL_CRIT:
2002ad71ed68SBlue Swirl     case DBELL_TYPE_G_DBELL_MC:
2003ad71ed68SBlue Swirl         /* XXX implement */
2004ad71ed68SBlue Swirl     default:
2005ad71ed68SBlue Swirl         break;
2006ad71ed68SBlue Swirl     }
2007ad71ed68SBlue Swirl 
2008ad71ed68SBlue Swirl     return irq;
2009ad71ed68SBlue Swirl }
2010ad71ed68SBlue Swirl 
2011e5f17ac6SBlue Swirl void helper_msgclr(CPUPPCState *env, target_ulong rb)
2012ad71ed68SBlue Swirl {
2013ad71ed68SBlue Swirl     int irq = dbell2irq(rb);
2014ad71ed68SBlue Swirl 
2015ad71ed68SBlue Swirl     if (irq < 0) {
2016ad71ed68SBlue Swirl         return;
2017ad71ed68SBlue Swirl     }
2018ad71ed68SBlue Swirl 
2019ad71ed68SBlue Swirl     env->pending_interrupts &= ~(1 << irq);
2020ad71ed68SBlue Swirl }
2021ad71ed68SBlue Swirl 
2022ad71ed68SBlue Swirl void helper_msgsnd(target_ulong rb)
2023ad71ed68SBlue Swirl {
2024ad71ed68SBlue Swirl     int irq = dbell2irq(rb);
2025ad71ed68SBlue Swirl     int pir = rb & DBELL_PIRTAG_MASK;
2026182735efSAndreas Färber     CPUState *cs;
2027ad71ed68SBlue Swirl 
2028ad71ed68SBlue Swirl     if (irq < 0) {
2029ad71ed68SBlue Swirl         return;
2030ad71ed68SBlue Swirl     }
2031ad71ed68SBlue Swirl 
2032f1c29ebcSThomas Huth     qemu_mutex_lock_iothread();
2033bdc44640SAndreas Färber     CPU_FOREACH(cs) {
2034182735efSAndreas Färber         PowerPCCPU *cpu = POWERPC_CPU(cs);
2035182735efSAndreas Färber         CPUPPCState *cenv = &cpu->env;
2036182735efSAndreas Färber 
2037ad71ed68SBlue Swirl         if ((rb & DBELL_BRDCAST) || (cenv->spr[SPR_BOOKE_PIR] == pir)) {
2038ad71ed68SBlue Swirl             cenv->pending_interrupts |= 1 << irq;
2039182735efSAndreas Färber             cpu_interrupt(cs, CPU_INTERRUPT_HARD);
2040ad71ed68SBlue Swirl         }
2041ad71ed68SBlue Swirl     }
2042f1c29ebcSThomas Huth     qemu_mutex_unlock_iothread();
2043ad71ed68SBlue Swirl }
20447af1e7b0SCédric Le Goater 
20457af1e7b0SCédric Le Goater /* Server Processor Control */
20467af1e7b0SCédric Le Goater 
20475ba7ba1dSCédric Le Goater static bool dbell_type_server(target_ulong rb)
20485ba7ba1dSCédric Le Goater {
204947733729SDavid Gibson     /*
205047733729SDavid Gibson      * A Directed Hypervisor Doorbell message is sent only if the
20517af1e7b0SCédric Le Goater      * message type is 5. All other types are reserved and the
205247733729SDavid Gibson      * instruction is a no-op
205347733729SDavid Gibson      */
20545ba7ba1dSCédric Le Goater     return (rb & DBELL_TYPE_MASK) == DBELL_TYPE_DBELL_SERVER;
20557af1e7b0SCédric Le Goater }
20567af1e7b0SCédric Le Goater 
20577af1e7b0SCédric Le Goater void helper_book3s_msgclr(CPUPPCState *env, target_ulong rb)
20587af1e7b0SCédric Le Goater {
20595ba7ba1dSCédric Le Goater     if (!dbell_type_server(rb)) {
20607af1e7b0SCédric Le Goater         return;
20617af1e7b0SCédric Le Goater     }
20627af1e7b0SCédric Le Goater 
20635ba7ba1dSCédric Le Goater     env->pending_interrupts &= ~(1 << PPC_INTERRUPT_HDOORBELL);
20647af1e7b0SCédric Le Goater }
20657af1e7b0SCédric Le Goater 
20665ba7ba1dSCédric Le Goater static void book3s_msgsnd_common(int pir, int irq)
20677af1e7b0SCédric Le Goater {
20687af1e7b0SCédric Le Goater     CPUState *cs;
20697af1e7b0SCédric Le Goater 
20707af1e7b0SCédric Le Goater     qemu_mutex_lock_iothread();
20717af1e7b0SCédric Le Goater     CPU_FOREACH(cs) {
20727af1e7b0SCédric Le Goater         PowerPCCPU *cpu = POWERPC_CPU(cs);
20737af1e7b0SCédric Le Goater         CPUPPCState *cenv = &cpu->env;
20747af1e7b0SCédric Le Goater 
20757af1e7b0SCédric Le Goater         /* TODO: broadcast message to all threads of the same  processor */
20767af1e7b0SCédric Le Goater         if (cenv->spr_cb[SPR_PIR].default_value == pir) {
20777af1e7b0SCédric Le Goater             cenv->pending_interrupts |= 1 << irq;
20787af1e7b0SCédric Le Goater             cpu_interrupt(cs, CPU_INTERRUPT_HARD);
20797af1e7b0SCédric Le Goater         }
20807af1e7b0SCédric Le Goater     }
20817af1e7b0SCédric Le Goater     qemu_mutex_unlock_iothread();
20827af1e7b0SCédric Le Goater }
20835ba7ba1dSCédric Le Goater 
20845ba7ba1dSCédric Le Goater void helper_book3s_msgsnd(target_ulong rb)
20855ba7ba1dSCédric Le Goater {
20865ba7ba1dSCédric Le Goater     int pir = rb & DBELL_PROCIDTAG_MASK;
20875ba7ba1dSCédric Le Goater 
20885ba7ba1dSCédric Le Goater     if (!dbell_type_server(rb)) {
20895ba7ba1dSCédric Le Goater         return;
20905ba7ba1dSCédric Le Goater     }
20915ba7ba1dSCédric Le Goater 
20925ba7ba1dSCédric Le Goater     book3s_msgsnd_common(pir, PPC_INTERRUPT_HDOORBELL);
20935ba7ba1dSCédric Le Goater }
20945ba7ba1dSCédric Le Goater 
20955ba7ba1dSCédric Le Goater #if defined(TARGET_PPC64)
20965ba7ba1dSCédric Le Goater void helper_book3s_msgclrp(CPUPPCState *env, target_ulong rb)
20975ba7ba1dSCédric Le Goater {
2098493028d8SCédric Le Goater     helper_hfscr_facility_check(env, HFSCR_MSGP, "msgclrp", HFSCR_IC_MSGP);
2099493028d8SCédric Le Goater 
21005ba7ba1dSCédric Le Goater     if (!dbell_type_server(rb)) {
21015ba7ba1dSCédric Le Goater         return;
21025ba7ba1dSCédric Le Goater     }
21035ba7ba1dSCédric Le Goater 
21045ba7ba1dSCédric Le Goater     env->pending_interrupts &= ~(1 << PPC_INTERRUPT_DOORBELL);
21055ba7ba1dSCédric Le Goater }
21065ba7ba1dSCédric Le Goater 
21075ba7ba1dSCédric Le Goater /*
21085ba7ba1dSCédric Le Goater  * sends a message to other threads that are on the same
21095ba7ba1dSCédric Le Goater  * multi-threaded processor
21105ba7ba1dSCédric Le Goater  */
21115ba7ba1dSCédric Le Goater void helper_book3s_msgsndp(CPUPPCState *env, target_ulong rb)
21125ba7ba1dSCédric Le Goater {
21135ba7ba1dSCédric Le Goater     int pir = env->spr_cb[SPR_PIR].default_value;
21145ba7ba1dSCédric Le Goater 
2115493028d8SCédric Le Goater     helper_hfscr_facility_check(env, HFSCR_MSGP, "msgsndp", HFSCR_IC_MSGP);
2116493028d8SCédric Le Goater 
21175ba7ba1dSCédric Le Goater     if (!dbell_type_server(rb)) {
21185ba7ba1dSCédric Le Goater         return;
21195ba7ba1dSCédric Le Goater     }
21205ba7ba1dSCédric Le Goater 
21215ba7ba1dSCédric Le Goater     /* TODO: TCG supports only one thread */
21225ba7ba1dSCédric Le Goater 
21235ba7ba1dSCédric Le Goater     book3s_msgsnd_common(pir, PPC_INTERRUPT_DOORBELL);
21245ba7ba1dSCédric Le Goater }
2125996473e4SRichard Henderson #endif /* TARGET_PPC64 */
21260f3110faSRichard Henderson 
21270f3110faSRichard Henderson void ppc_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr,
21280f3110faSRichard Henderson                                  MMUAccessType access_type,
21290f3110faSRichard Henderson                                  int mmu_idx, uintptr_t retaddr)
21300f3110faSRichard Henderson {
21310f3110faSRichard Henderson     CPUPPCState *env = cs->env_ptr;
213229c4a336SFabiano Rosas     uint32_t insn;
213329c4a336SFabiano Rosas 
213429c4a336SFabiano Rosas     /* Restore state and reload the insn we executed, for filling in DSISR.  */
213529c4a336SFabiano Rosas     cpu_restore_state(cs, retaddr, true);
213629c4a336SFabiano Rosas     insn = cpu_ldl_code(env, env->nip);
21370f3110faSRichard Henderson 
2138a7e3af13SRichard Henderson     switch (env->mmu_model) {
2139a7e3af13SRichard Henderson     case POWERPC_MMU_SOFT_4xx:
2140a7e3af13SRichard Henderson         env->spr[SPR_40x_DEAR] = vaddr;
2141a7e3af13SRichard Henderson         break;
2142a7e3af13SRichard Henderson     case POWERPC_MMU_BOOKE:
2143a7e3af13SRichard Henderson     case POWERPC_MMU_BOOKE206:
2144a7e3af13SRichard Henderson         env->spr[SPR_BOOKE_DEAR] = vaddr;
2145a7e3af13SRichard Henderson         break;
2146a7e3af13SRichard Henderson     default:
2147a7e3af13SRichard Henderson         env->spr[SPR_DAR] = vaddr;
2148a7e3af13SRichard Henderson         break;
2149a7e3af13SRichard Henderson     }
2150a7e3af13SRichard Henderson 
21510f3110faSRichard Henderson     cs->exception_index = POWERPC_EXCP_ALIGN;
215229c4a336SFabiano Rosas     env->error_code = insn & 0x03FF0000;
215329c4a336SFabiano Rosas     cpu_loop_exit(cs);
21540f3110faSRichard Henderson }
2155996473e4SRichard Henderson #endif /* CONFIG_TCG */
2156996473e4SRichard Henderson #endif /* !CONFIG_USER_ONLY */
2157