add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

 kernel/arch/arm/vdso/datapage.S
..
..
@@ -5,6 +5,8 @@
5
5
 	.align 2
6
6
 .L_vdso_data_ptr:
7
7
 	.long	_start - . - VDSO_DATA_SIZE
8
+.L_vdso_priv_ptr:
9
+	.long	_start - . - VDSO_DATA_SIZE - VDSO_PRIV_SIZE
8
10
 
9
11
 ENTRY(__get_datapage)
10
12
 	.fnstart
..
..
@@ -14,3 +16,12 @@
14
16
 	bx	lr
15
17
 	.fnend
16
18
 ENDPROC(__get_datapage)
19
+
20
+ENTRY(__get_privpage)
21
+	.fnstart
22
+	adr	r0, .L_vdso_priv_ptr
23
+	ldr	r1, [r0]
24
+	add	r0, r0, r1
25
+	bx	lr
26
+	.fnend
27
+ENDPROC(__get_privpage)