// 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();
}