1// SPDX-License-Identifier: GPL-2.0 2// Copyright (C) 2012 ARM Limited 3// Copyright (C) 2005-2017 Andes Technology Corporation 4 5#include <linux/init.h> 6#include <linux/linkage.h> 7#include <linux/const.h> 8#include <asm/page.h> 9 10 .globl vdso_start, vdso_end 11 .section .rodata 12 .balign PAGE_SIZE 13vdso_start: 14 .incbin "arch/nds32/kernel/vdso/vdso.so" 15 .balign PAGE_SIZE 16vdso_end: 17 18 .previous 19