Makefile (6f84981772535e670e4e2df051a672af229b6694) Makefile (92d33063c081a82d25dd08a9cce03947c8ed9164)
1# SPDX-License-Identifier: GPL-2.0
2#
3# Building vDSO images for x86.
4#
5
6# Absolute relocation type $(ARCH_REL_TYPE_ABS) needs to be defined before
7# the inclusion of generic Makefile.
8ARCH_REL_TYPE_ABS := R_X86_64_JUMP_SLOT|R_X86_64_GLOB_DAT|R_X86_64_RELATIVE|

--- 15 unchanged lines hidden (view full) ---

24VDSO64-$(CONFIG_X86_64) := y
25VDSOX32-$(CONFIG_X86_X32_ABI) := y
26VDSO32-$(CONFIG_X86_32) := y
27VDSO32-$(CONFIG_IA32_EMULATION) := y
28
29# files to link into the vdso
30vobjs-y := vdso-note.o vclock_gettime.o vgetcpu.o
31vobjs32-y := vdso32/note.o vdso32/system_call.o vdso32/sigreturn.o
1# SPDX-License-Identifier: GPL-2.0
2#
3# Building vDSO images for x86.
4#
5
6# Absolute relocation type $(ARCH_REL_TYPE_ABS) needs to be defined before
7# the inclusion of generic Makefile.
8ARCH_REL_TYPE_ABS := R_X86_64_JUMP_SLOT|R_X86_64_GLOB_DAT|R_X86_64_RELATIVE|

--- 15 unchanged lines hidden (view full) ---

24VDSO64-$(CONFIG_X86_64) := y
25VDSOX32-$(CONFIG_X86_X32_ABI) := y
26VDSO32-$(CONFIG_X86_32) := y
27VDSO32-$(CONFIG_IA32_EMULATION) := y
28
29# files to link into the vdso
30vobjs-y := vdso-note.o vclock_gettime.o vgetcpu.o
31vobjs32-y := vdso32/note.o vdso32/system_call.o vdso32/sigreturn.o
32vobjs32-y += vdso32/vclock_gettime.o
32vobjs32-y += vdso32/vclock_gettime.o vdso32/vgetcpu.o
33vobjs-$(CONFIG_X86_SGX) += vsgx.o
34
35# files to link into kernel
36obj-y += vma.o extable.o
37KASAN_SANITIZE_vma.o := y
38UBSAN_SANITIZE_vma.o := y
39KCSAN_SANITIZE_vma.o := y
40OBJECT_FILES_NON_STANDARD_vma.o := n

--- 58 unchanged lines hidden (view full) ---

99$(vobjs): KBUILD_AFLAGS += -DBUILD_VDSO
100
101#
102# vDSO code runs in userspace and -pg doesn't help with profiling anyway.
103#
104CFLAGS_REMOVE_vclock_gettime.o = -pg
105CFLAGS_REMOVE_vdso32/vclock_gettime.o = -pg
106CFLAGS_REMOVE_vgetcpu.o = -pg
33vobjs-$(CONFIG_X86_SGX) += vsgx.o
34
35# files to link into kernel
36obj-y += vma.o extable.o
37KASAN_SANITIZE_vma.o := y
38UBSAN_SANITIZE_vma.o := y
39KCSAN_SANITIZE_vma.o := y
40OBJECT_FILES_NON_STANDARD_vma.o := n

--- 58 unchanged lines hidden (view full) ---

99$(vobjs): KBUILD_AFLAGS += -DBUILD_VDSO
100
101#
102# vDSO code runs in userspace and -pg doesn't help with profiling anyway.
103#
104CFLAGS_REMOVE_vclock_gettime.o = -pg
105CFLAGS_REMOVE_vdso32/vclock_gettime.o = -pg
106CFLAGS_REMOVE_vgetcpu.o = -pg
107CFLAGS_REMOVE_vdso32/vgetcpu.o = -pg
107CFLAGS_REMOVE_vsgx.o = -pg
108
109#
110# X32 processes use x32 vDSO to access 64bit kernel data.
111#
112# Build x32 vDSO image:
113# 1. Compile x32 vDSO as 64bit.
114# 2. Convert object files to x32.

--- 108 unchanged lines hidden ---
108CFLAGS_REMOVE_vsgx.o = -pg
109
110#
111# X32 processes use x32 vDSO to access 64bit kernel data.
112#
113# Build x32 vDSO image:
114# 1. Compile x32 vDSO as 64bit.
115# 2. Convert object files to x32.

--- 108 unchanged lines hidden ---