SPRN_DBAT0U
case SPRN_DBAT0U ... SPRN_DBAT3L:
bat = &vcpu_book3s->dbat[(sprn - SPRN_DBAT0U) / 2];
case SPRN_DBAT0U ... SPRN_DBAT3L:
case SPRN_DBAT0U ... SPRN_DBAT3L:
BAT_SHOW_603(m, 0, SPRN_DBAT0L, SPRN_DBAT0U, true);