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
12int 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}