| # SPDX-License-Identifier: GPL-2.0 |
| |
| config HAVE_GENERIC_VDSO |
| bool |
| |
| if HAVE_GENERIC_VDSO |
| |
| config GENERIC_GETTIMEOFDAY |
| bool |
| help |
| This is a generic implementation of gettimeofday vdso. |
| Each architecture that enables this feature has to |
| provide the fallback implementation. |
| |
| config GENERIC_VDSO_32 |
| bool |
| depends on GENERIC_GETTIMEOFDAY && !64BIT |
| help |
| This config option helps to avoid possible performance issues |
| in 32 bit only architectures. |
| |
| config GENERIC_COMPAT_VDSO |
| bool |
| help |
| This config option enables the compat VDSO layer. |
| |
| config GENERIC_VDSO_TIME_NS |
| bool |
| help |
| Selected by architectures which support time namespaces in the |
| VDSO |
| |
| endif |