dccp: clock_t

*** 479,488 ****
--- 479,491 ----
          kstat_install(ksp);
  
          return (ksp);
  }
  
+ /*
+  * Destroy DCCP kernel statistics.
+  */
  void
  dccp_kstat2_fini(netstackid_t stackid, kstat_t *ksp)
  {
          if (ksp != NULL) {
                  ASSERT(stackid == (netstackid_t)(uintptr_t)ksp->ks_private);