1  // Copyright 2017 The Go Authors. All rights reserved.
       2  // Use of this source code is governed by a BSD-style
       3  // license that can be found in the LICENSE file.
       4  
       5  // +build !plan9,!windows
       6  
       7  #include <stdint.h>
       8  
       9  uint32_t threadExited;
      10  
      11  void setExited(void *x) {
      12  	__sync_fetch_and_add(&threadExited, 1);
      13  }