Update prctl ARCH_* constants

* xlat/archvals.in: Add ARCH_GET_CPUID and ARCH_SET_CPUID
introduced by linux kernel commit v4.12-rc1~153^2~2.

diff --git a/xlat/archvals.in b/xlat/archvals.in
index def419d09f46dc1c726da73433c4ff11b50c2790..4bbcc0a05ba5c9124b2cd2506556866b5a2d51c0 100644 (file)
--- a/xlat/archvals.in
+++ b/xlat/archvals.in
@@ -2,6 +2,8 @@ ARCH_SET_GS
 ARCH_SET_FS
 ARCH_GET_FS
 ARCH_GET_GS
+ARCH_GET_CPUID 0x1011
+ARCH_SET_CPUID 0x1012
 ARCH_MAP_VDSO_X32      0x2001
 ARCH_MAP_VDSO_32       0x2002
 ARCH_MAP_VDSO_64       0x2003