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(13);
16
17 test_membarrier_query();
18
19 test_membarrier_fail();
20
21 test_membarrier_success();
22
23 return ksft_exit_pass();
24 }