SPRN_DBAT4U
case SPRN_DBAT4U ... SPRN_DBAT7L:
bat = &vcpu_book3s->dbat[4 + ((sprn - SPRN_DBAT4U) / 2)];
case SPRN_DBAT4U ... SPRN_DBAT7L:
case SPRN_DBAT4U ... SPRN_DBAT7L:
BAT_SHOW_603(m, 4, SPRN_DBAT4L, SPRN_DBAT4U, true);