kernel/arch/tile/kernel/vdso/vdso32.S

   1 /*
   2  * Copyright 2013 Tilera Corporation. All Rights Reserved.
   3  *
   4  *   This program is free software; you can redistribute it and/or
   5  *   modify it under the terms of the GNU General Public License
   6  *   as published by the Free Software Foundation, version 2.
   7  *
   8  *   This program is distributed in the hope that it will be useful, but
   9  *   WITHOUT ANY WARRANTY; without even the implied warranty of
  10  *   MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or
  11  *   NON INFRINGEMENT.  See the GNU General Public License for
  12  *   more details.
  13  */
  14
  15 #include <linux/init.h>
  16 #include <linux/linkage.h>
  17 #include <asm/page.h>
  18
  19         __PAGE_ALIGNED_DATA
  20
  21         .global vdso32_start, vdso32_end
  22         .align PAGE_SIZE
  23 vdso32_start:
  24         .incbin "arch/tile/kernel/vdso/vdso32.so"
  25         .align PAGE_SIZE
  26 vdso32_end:
  27
  28         .previous