Searched refs:commpage_update_timebase (Results 1 – 4 of 4) sorted by relevance
42 extern void commpage_update_timebase(void);
188 commpage_update_timebase(); in commpage_populate()738 commpage_update_timebase(void) in commpage_update_timebase() function
746 commpage_update_timebase(); in arm_init_cpu()
991 commpage_update_timebase(); in arm_init_cpu()