SPRN_IBAT0U
case SPRN_IBAT0U ... SPRN_IBAT3L:
bat = &vcpu_book3s->ibat[(sprn - SPRN_IBAT0U) / 2];
case SPRN_IBAT0U ... SPRN_IBAT3L:
case SPRN_IBAT0U ... SPRN_IBAT3L:
BAT_SHOW_603(m, 0, SPRN_IBAT0L, SPRN_IBAT0U, false);