1*87f3248cSGuo Ren/* SPDX-License-Identifier: GPL-2.0-only */ 2*87f3248cSGuo Ren 3*87f3248cSGuo Ren#include <linux/init.h> 4*87f3248cSGuo Ren#include <linux/linkage.h> 5*87f3248cSGuo Ren#include <asm/page.h> 6*87f3248cSGuo Ren 7*87f3248cSGuo Ren __PAGE_ALIGNED_DATA 8*87f3248cSGuo Ren 9*87f3248cSGuo Ren .globl vdso_start, vdso_end 10*87f3248cSGuo Ren .balign PAGE_SIZE 11*87f3248cSGuo Renvdso_start: 12*87f3248cSGuo Ren .incbin "arch/csky/kernel/vdso/vdso.so" 13*87f3248cSGuo Ren .balign PAGE_SIZE 14*87f3248cSGuo Renvdso_end: 15*87f3248cSGuo Ren 16*87f3248cSGuo Ren .previous 17