1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
| // SPDX-License-Identifier: GPL-2.0
| #include <stdint.h>
|
| volatile uint64_t x;
|
| int main(int argc, char *argv[])
| {
| uint64_t old, new = argc;
|
| (void)argv;
| do {
| old = __sync_val_compare_and_swap(&x, 0, 0);
| } while (!__sync_bool_compare_and_swap(&x, old, new));
| return old == new;
| }
|
|
