Linux 3.17-rc2
[linux/fpc-iii.git] / arch / arm64 / kernel / vdso / vdso.S
blob60c1db54b41a251b4d006c17a696aa9d6837067b
1 /*
2  * Copyright (C) 2012 ARM Limited
3  *
4  * This program is free software; you can redistribute it and/or modify
5  * it under the terms of the GNU General Public License version 2 as
6  * published by the Free Software Foundation.
7  *
8  * This program is distributed in the hope that it will be useful,
9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11  * GNU General Public License for more details.
12  *
13  * You should have received a copy of the GNU General Public License
14  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
15  *
16  * Author: Will Deacon <will.deacon@arm.com>
17  */
19 #include <linux/init.h>
20 #include <linux/linkage.h>
21 #include <linux/const.h>
22 #include <asm/page.h>
24         __PAGE_ALIGNED_DATA
26         .globl vdso_start, vdso_end
27         .balign PAGE_SIZE
28 vdso_start:
29         .incbin "arch/arm64/kernel/vdso/vdso.so"
30         .balign PAGE_SIZE
31 vdso_end:
33         .previous