1 // SPDX-License-Identifier: GPL-2.0
2 #define _GNU_SOURCE
3 #include <linux/membarrier.h>
4 #include <syscall.h>
5 #include <stdio.h>
6 #include <errno.h>
7 #include <string.h>
8 #include <pthread.h>
9
10 #include "membarrier_test_impl.h"
11
12 int main(int argc, char **argv)
13 {
14 ksft_print_header();
15 ksft_set_plan(18);
16
17 test_membarrier_get_registrations(/*cmd=*/0);
18
19 test_membarrier_query();
20
21 test_membarrier_fail();
22
23 test_membarrier_success();
24
25 test_membarrier_get_registrations(/*cmd=*/0);
26
27 ksft_exit_pass();
28 }
29
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.