public void destroyPRRegion(String prName) {
    ArrayList<PlaceHolderDiskRegion> buckets = new ArrayList<>();
    lock(true);
    try {
      for (PlaceHolderDiskRegion dr : drMapByName.values()) {
        if (dr.isBucket()) {
          if (prName.equals(dr.getPrName())) {
            buckets.add(dr);
          }
        }
      }
    } finally {
      unlock(true);
    }
    for (PlaceHolderDiskRegion dr : buckets) {
      endDestroyRegion(dr);
    }

    // Remove the partitioned region record
    // for this disk store.
    destroyPersistentPR(prName);
  }
Dump the metadata for a partitioned region, optionally dumping the meta data for individual
buckets.
geode-core/src/main/java/org/apache/geode/internal/cache/DiskInitFile.java