|
@@ -33,6 +33,8 @@
|
|
|
|
|
|
#ifdef CONFIG_64BIT
|
|
|
#include <asm/exception-64e.h>
|
|
|
+#include <asm/hw_irq.h>
|
|
|
+#include <asm/irqflags.h>
|
|
|
#else
|
|
|
#include "../kernel/head_booke.h" /* for THREAD_NORMSAVE() */
|
|
|
#endif
|
|
@@ -465,6 +467,15 @@ _GLOBAL(kvmppc_resume_host)
|
|
|
mtspr SPRN_EPCR, r3
|
|
|
isync
|
|
|
|
|
|
+#ifdef CONFIG_64BIT
|
|
|
+ /*
|
|
|
+ * We enter with interrupts disabled in hardware, but
|
|
|
+ * we need to call RECONCILE_IRQ_STATE to ensure
|
|
|
+ * that the software state is kept in sync.
|
|
|
+ */
|
|
|
+ RECONCILE_IRQ_STATE(r3,r5)
|
|
|
+#endif
|
|
|
+
|
|
|
/* Switch to kernel stack and jump to handler. */
|
|
|
PPC_LL r3, HOST_RUN(r1)
|
|
|
mr r5, r14 /* intno */
|