Lines Matching +full:0 +full:x32
20 obj-$(CONFIG_X86_X32_ABI) += vdso-image-x32.o
31 targets += $(foreach x, 64 x32 32, vdso-image-$(x).c vdso$(x).so vdso$(x).so.dbg)
79 # X32 processes use x32 vDSO to access 64bit kernel data.
81 # Build x32 vDSO image:
82 # 1. Compile x32 vDSO as 64bit.
83 # 2. Convert object files to x32.
84 # 3. Build x32 VDSO image with x32 objects, which contains 64bit codes
92 # x32-rebranded versions
93 vobjx32s-y := $(vobjs-y:.o=-x32.o)
98 # Convert 64bit object file to x32 for x32 vDSO.
99 quiet_cmd_x32 = X32 $@
102 $(obj)/%-x32.o: $(obj)/%.o FORCE
103 $(call if_changed,x32)
131 KBUILD_CFLAGS_32 += -m32 -msoft-float -mregparm=0 -fpic