1# SPDX-License-Identifier: GPL-2.0 2# 3# 32-bit vDSO images for x86. 4# 5 6# The vDSOs built in this directory 7vdsos-y := 32 8 9# Files to link into the vDSO: 10vobjs-y := note.o vclock_gettime.o vgetcpu.o 11vobjs-y += system_call.o sigreturn.o 12vobjs-$(CONFIG_FUTEX_ROBUST_UNLOCK) += vfutex.o 13 14# Compilation flags 15flags-y := -DBUILD_VDSO32 -m32 -mregparm=0 16flags-$(CONFIG_X86_64) += -include $(src)/fake_32bit_build.h 17flags-remove-y := -m64 18 19# Checker flags 20CHECKFLAGS := $(subst -m64,-m32,$(CHECKFLAGS)) 21CHECKFLAGS := $(subst -D__x86_64__,-D__i386__,$(CHECKFLAGS)) 22 23# The location of this include matters! 24include $(src)/../common/Makefile.include 25 26# Linker options for the vdso 27VDSO_LDFLAGS_32 := -m elf_i386 -soname linux-gate.so.1 28 29$(obj)/vdso32.so.dbg: $(vobjs) 30