1.. SPDX-License-Identifier: GPL-2.0+
2
3================================
4Documentation for /proc/sys/abi/
5================================
6
7.. See scripts/check-sysctl-docs to keep this up to date:
8.. scripts/check-sysctl-docs -vtable="abi" \
9..         Documentation/admin-guide/sysctl/abi.rst \
10..         $(git grep -l register_sysctl_)
11
12Copyright (c) 2020, Stephen Kitt
13
14For general info, see Documentation/admin-guide/sysctl/index.rst.
15
16------------------------------------------------------------------------------
17
18The files in ``/proc/sys/abi`` can be used to see and modify
19ABI-related settings.
20
21Currently, these files might (depending on your configuration)
22show up in ``/proc/sys/kernel``:
23
24.. contents:: :local:
25
26vsyscall32 (x86)
27================
28
29Determines whether the kernels maps a vDSO page into 32-bit processes;
30can be set to 1 to enable, or 0 to disable. Defaults to enabled if
31``CONFIG_COMPAT_VDSO`` is set, disabled otherwise.
32
33This controls the same setting as the ``vdso32`` kernel boot
34parameter.
35