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