mfspr(SPRN_SRR0), mfspr(SPRN_SRR1), mfspr(SPRN_DSISR));
        printf("dscr   = %.16lx  ppr   = %.16lx pir    = %.8x\n",
                mfspr(SPRN_DSCR), mfspr(SPRN_PPR), mfspr(SPRN_PIR));
+       printf("amr    = %.16lx  uamor = %.16lx\n",
+               mfspr(SPRN_AMR), mfspr(SPRN_UAMOR));
 
        if (!(mfmsr() & MSR_HV))
                return;
 
        printf("sdr1   = %.16lx  hdar  = %.16lx hdsisr = %.8x\n",
                mfspr(SPRN_SDR1), mfspr(SPRN_HDAR), mfspr(SPRN_HDSISR));
-       printf("hsrr0  = %.16lx hsrr1  = %.16lx hdec = %.16lx\n",
+       printf("hsrr0  = %.16lx hsrr1  = %.16lx hdec   = %.16lx\n",
                mfspr(SPRN_HSRR0), mfspr(SPRN_HSRR1), mfspr(SPRN_HDEC));
-       printf("lpcr   = %.16lx  pcr   = %.16lx lpidr = %.8x\n",
+       printf("lpcr   = %.16lx  pcr   = %.16lx lpidr  = %.8x\n",
                mfspr(SPRN_LPCR), mfspr(SPRN_PCR), mfspr(SPRN_LPID));
-       printf("hsprg0 = %.16lx hsprg1 = %.16lx\n",
-               mfspr(SPRN_HSPRG0), mfspr(SPRN_HSPRG1));
+       printf("hsprg0 = %.16lx hsprg1 = %.16lx amor   = %.16lx\n",
+               mfspr(SPRN_HSPRG0), mfspr(SPRN_HSPRG1), mfspr(SPRN_AMOR));
        printf("dabr   = %.16lx dabrx  = %.16lx\n",
                mfspr(SPRN_DABR), mfspr(SPRN_DABRX));
 #endif
                mfspr(SPRN_SDAR), mfspr(SPRN_SIER), mfspr(SPRN_PMC6));
        printf("ebbhr  = %.16lx  ebbrr = %.16lx bescr  = %.16lx\n",
                mfspr(SPRN_EBBHR), mfspr(SPRN_EBBRR), mfspr(SPRN_BESCR));
+       printf("iamr   = %.16lx\n", mfspr(SPRN_IAMR));
 
        if (!(msr & MSR_HV))
                return;