// Copyright 2017 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// +build !plan9,!windows

#include <stdint.h>

uint32_t threadExited;

void setExited(void *x) {
	__sync_fetch_and_add(&threadExited, 1);
}