t.releaseDumpBuffer();
VM_Thread.releaseDumpBuffer();
  private static void writeThreadIdToLog(VM_Thread t) {    char[] buf = t.grabDumpBuffer();    int len = t.dump(buf);    Log.write(buf, len);    t.releaseDumpBuffer();  }