Revision 2cf3eb6d hw/ppc/spapr.c

b/hw/ppc/spapr.c
801 801
        /* Set time-base frequency to 512 MHz */
802 802
        cpu_ppc_tb_init(env, TIMEBASE_FREQ);
803 803

  
804
        /* PAPR always has exception vectors in RAM not ROM */
805
        env->hreset_excp_prefix = 0;
804
        /* PAPR always has exception vectors in RAM not ROM. To ensure this,
805
         * MSR[IP] should never be set.
806
         */
807
        env->msr_mask &= ~(1 << 6);
806 808

  
807 809
        /* Tell KVM that we're in PAPR mode */
808 810
        if (kvm_enabled()) {

Also available in: Unified diff