arch/nds32/kernel/vdso/datapage.S

   1 // SPDX-License-Identifier: GPL-2.0
   2 // Copyright (C) 2005-2017 Andes Technology Corporation
   3
   4 #include <linux/linkage.h>
   5 #include <asm/page.h>
   6
   7 ENTRY(__get_timerpage)
   8         sethi   $r0, hi20(. + PAGE_SIZE + 8)
   9         ori     $r0, $r0, lo12(. + PAGE_SIZE + 4)
  10         mfusr   $r1, $pc
  11         sub     $r0, $r1, $r0
  12         ret
  13 ENDPROC(__get_timerpage)
  14
  15 ENTRY(__get_datapage)
  16         sethi   $r0, hi20(. + 2*PAGE_SIZE + 8)
  17         ori     $r0, $r0, lo12(. + 2*PAGE_SIZE + 4)
  18         mfusr   $r1, $pc
  19         sub     $r0, $r1, $r0
  20         ret
  21 ENDPROC(__get_datapage)