Searched refs:timekeep_push_vdso (Results 1 – 3 of 3) sorted by relevance
217 timekeep_push_vdso(void) in timekeep_push_vdso() function243 timekeep_push_vdso(); in alloc_sv_tk()263 timekeep_push_vdso(); in alloc_sv_tk_compat32()
1485 timekeep_push_vdso(); in tc_windup()
100 void timekeep_push_vdso(void);