1*b6771210SAlex Bennée /*
2*b6771210SAlex Bennée * Verify the COMMPAGE emulation
3*b6771210SAlex Bennée *
4*b6771210SAlex Bennée * The ARM commpage is a set of user space helper functions provided
5*b6771210SAlex Bennée * by the kernel in an effort to ease portability of user space code
6*b6771210SAlex Bennée * between different CPUs with potentially different capabilities. It
7*b6771210SAlex Bennée * is a 32 bit invention and similar to the vdso segment in many ways.
8*b6771210SAlex Bennée *
9*b6771210SAlex Bennée * The ABI is documented in the Linux kernel:
10*b6771210SAlex Bennée * Documentation/arm/kernel_userspace_helpers.rst
11*b6771210SAlex Bennée *
12*b6771210SAlex Bennée * Copyright (c) 2020 Linaro Ltd
13*b6771210SAlex Bennée *
14*b6771210SAlex Bennée * SPDX-License-Identifier: GPL-2.0-or-later
15*b6771210SAlex Bennée */
16*b6771210SAlex Bennée
17*b6771210SAlex Bennée #include <stdlib.h>
18*b6771210SAlex Bennée #include <stdio.h>
19*b6771210SAlex Bennée #include <stdint.h>
20*b6771210SAlex Bennée
21*b6771210SAlex Bennée #define ARM_COMMPAGE (0xffff0f00u)
22*b6771210SAlex Bennée #define ARM_KUSER_VERSION (*(int32_t *)(ARM_COMMPAGE + 0xfc))
23*b6771210SAlex Bennée typedef void * (get_tls_fn)(void);
24*b6771210SAlex Bennée #define ARM_KUSER_GET_TLS (*(get_tls_fn *)(ARM_COMMPAGE + 0xe0))
25*b6771210SAlex Bennée typedef int (cmpxchg_fn)(int oldval, int newval, volatile int *ptr);
26*b6771210SAlex Bennée #define ARM_KUSER_CMPXCHG (*(cmpxchg_fn *)(ARM_COMMPAGE + 0xc0))
27*b6771210SAlex Bennée typedef void (dmb_fn)(void);
28*b6771210SAlex Bennée #define ARM_KUSER_DMB (*(dmb_fn *)(ARM_COMMPAGE + 0xa0))
29*b6771210SAlex Bennée typedef int (cmpxchg64_fn)(const int64_t *oldval,
30*b6771210SAlex Bennée const int64_t *newval,
31*b6771210SAlex Bennée volatile int64_t *ptr);
32*b6771210SAlex Bennée #define ARM_KUSER_CMPXCHG64 (*(cmpxchg64_fn *)(ARM_COMMPAGE + 0x60))
33*b6771210SAlex Bennée
34*b6771210SAlex Bennée #define fail_unless(x) \
35*b6771210SAlex Bennée do { \
36*b6771210SAlex Bennée if (!(x)) { \
37*b6771210SAlex Bennée fprintf(stderr, "FAILED at %s:%d\n", __FILE__, __LINE__); \
38*b6771210SAlex Bennée exit(EXIT_FAILURE); \
39*b6771210SAlex Bennée } \
40*b6771210SAlex Bennée } while (0)
41*b6771210SAlex Bennée
42*b6771210SAlex Bennée
main(int argc,char * argv[argc])43*b6771210SAlex Bennée int main(int argc, char *argv[argc])
44*b6771210SAlex Bennée {
45*b6771210SAlex Bennée void *kuser_tls;
46*b6771210SAlex Bennée int val = 1;
47*b6771210SAlex Bennée const int64_t oldval = 1, newval = 2;
48*b6771210SAlex Bennée int64_t val64 = 1;
49*b6771210SAlex Bennée
50*b6771210SAlex Bennée fail_unless(ARM_KUSER_VERSION == 0x5);
51*b6771210SAlex Bennée kuser_tls = ARM_KUSER_GET_TLS();
52*b6771210SAlex Bennée printf("TLS = %p\n", kuser_tls);
53*b6771210SAlex Bennée fail_unless(kuser_tls != 0);
54*b6771210SAlex Bennée fail_unless(ARM_KUSER_CMPXCHG(1, 2, &val) == 0);
55*b6771210SAlex Bennée printf("val = %d\n", val);
56*b6771210SAlex Bennée /* this is a crash test, not checking an actual barrier occurs */
57*b6771210SAlex Bennée ARM_KUSER_DMB();
58*b6771210SAlex Bennée fail_unless(ARM_KUSER_CMPXCHG64(&oldval, &newval, &val64) == 0);
59*b6771210SAlex Bennée printf("val64 = %lld\n", val64);
60*b6771210SAlex Bennée return 0;
61*b6771210SAlex Bennée }
62