Searched refs:commpage_update_timebase (Results 1 – 3 of 3) 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
748 commpage_update_timebase(); in arm_init_cpu()