kernel/arch/arm64/kernel/vdso/vdso.S

   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  */
  18
  19 #include <linux/init.h>
  20 #include <linux/linkage.h>
  21 #include <linux/const.h>
  22 #include <asm/page.h>
  23
  24         __PAGE_ALIGNED_DATA
  25
  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:
  32
  33         .previous