Searched refs:timekeep_push_vdso (Results 1 – 3 of 3) sorted by relevance
207 timekeep_push_vdso(void) in timekeep_push_vdso() function233 timekeep_push_vdso(); in alloc_sv_tk()253 timekeep_push_vdso(); in alloc_sv_tk_compat32()
1494 timekeep_push_vdso(); in tc_windup()
85 void timekeep_push_vdso(void);