arch/nds32/kernel/vdso/vdso.S

   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
  13 vdso_start:
  14         .incbin "arch/nds32/kernel/vdso/vdso.so"
  15         .balign PAGE_SIZE
  16 vdso_end:
  17
  18         .previous