Update prctl PR_* constants

* xlat/prctl_options.in: Add PR_SET_THP_DISABLE, PR_GET_THP_DISABLE,
PR_MPX_ENABLE_MANAGEMENT, and PR_MPX_DISABLE_MANAGEMENT.

diff --git a/xlat/prctl_options.in b/xlat/prctl_options.in
index 9eabddd0bb9c636e6579eedb51c2d9c665abc4aa..478bea64023410364907055699b608a6ef11b37c 100644 (file)
--- a/xlat/prctl_options.in
+++ b/xlat/prctl_options.in
@@ -54,3 +54,7 @@ PR_GET_CHILD_SUBREAPER
 PR_SET_NO_NEW_PRIVS
 PR_GET_NO_NEW_PRIVS
 PR_GET_TID_ADDRESS
+PR_SET_THP_DISABLE
+PR_GET_THP_DISABLE
+PR_MPX_ENABLE_MANAGEMENT
+PR_MPX_DISABLE_MANAGEMENT