|  | # 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 |