Searched refs:timekeep_push_vdso (Results 1 – 3 of 3) sorted by relevance
214 timekeep_push_vdso(void) in timekeep_push_vdso() function240 timekeep_push_vdso(); in alloc_sv_tk()260 timekeep_push_vdso(); in alloc_sv_tk_compat32()
1501 timekeep_push_vdso(); in tc_windup()
98 void timekeep_push_vdso(void);