# CONFIG_LEGACY_VSYSCALL_NONE is not set