root/arch/nds32/kernel/vdso/datapage.S

/* [<][>][^][v][top][bottom][index][help] */ 
   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)
/* [<][>][^][v][top][bottom][index][help] */