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 }
25