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