// SPDX-License-Identifier: GPL-2.0
#define _GNU_SOURCE
#include <linux/membarrier.h>
#include <syscall.h>
#include <stdio.h>
#include <errno.h>
#include <string.h>
#include <pthread.h>

#include "membarrier_test_impl.h"

int main(int argc, char **argv)
{
	ksft_print_header();
	ksft_set_plan(18);

	test_membarrier_get_registrations(/*cmd=*/0);

	test_membarrier_query();

	test_membarrier_fail();

	test_membarrier_success();

	test_membarrier_get_registrations(/*cmd=*/0);

	ksft_exit_pass();
}