Lines Matching +full:0 +full:x32
40 vdso_img-$(VDSOX32-y) += x32
103 # X32 processes use x32 vDSO to access 64bit kernel data.
105 # Build x32 vDSO image:
106 # 1. Compile x32 vDSO as 64bit.
107 # 2. Convert object files to x32.
108 # 3. Build x32 VDSO image with x32 objects, which contains 64bit codes
116 # x32-rebranded versions
117 vobjx32s-y := $(vobjs-y:.o=-x32.o)
122 # Convert 64bit object file to x32 for x32 vDSO.
123 quiet_cmd_x32 = X32 $@
126 $(obj)/%-x32.o: $(obj)/%.o FORCE
127 $(call if_changed,x32)
151 KBUILD_CFLAGS_32 += -m32 -msoft-float -mregparm=0 -fpic