Searched refs:timekeep_push_vdso (Results 1 – 3 of 3) sorted by relevance
215 timekeep_push_vdso(void) in timekeep_push_vdso() function241 timekeep_push_vdso(); in alloc_sv_tk()261 timekeep_push_vdso(); in alloc_sv_tk_compat32()
1501 timekeep_push_vdso(); in tc_windup()
98 void timekeep_push_vdso(void);