SPRN_TLB1PS
case SPRN_TLB1PS:
vcpu->arch.tlbps[1] = mfspr(SPRN_TLB1PS);
max_cam = __ilog2(mfspr(SPRN_TLB1PS)) + 10;
tlb1ps = mfspr(SPRN_TLB1PS);