Lines Matching defs:x32
40 obj-$(CONFIG_X86_X32_ABI) += vdso-image-x32.o
44 OBJECT_FILES_NON_STANDARD_vdso-image-x32.o := n
56 targets += $(foreach x, 64 x32 32, vdso-image-$(x).c vdso$(x).so vdso$(x).so.dbg)
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.
126 $(obj)/%-x32.o: $(obj)/%.o FORCE
127 $(call if_changed,x32)