__get_timerpage    20 arch/nds32/kernel/vdso/gettimeofday.c extern struct vdso_data *__get_timerpage(void);
__get_timerpage   110 arch/nds32/kernel/vdso/gettimeofday.c 	    (u32 *) ((char *)__get_timerpage() + vdso->cycle_count_offset);