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(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	return ksft_exit_pass();
28}
29