SPRN_IBAT4U
case SPRN_IBAT4U ... SPRN_IBAT7L:
bat = &vcpu_book3s->ibat[4 + ((sprn - SPRN_IBAT4U) / 2)];
case SPRN_IBAT4U ... SPRN_IBAT7L:
case SPRN_IBAT4U ... SPRN_IBAT7L:
BAT_SHOW_603(m, 4, SPRN_IBAT4L, SPRN_IBAT4U, false);