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