Searched refs:commpage_update_timebase (Results 1 – 4 of 4) sorted by relevance
42 extern void commpage_update_timebase(void);
160 commpage_update_timebase(); in commpage_populate()885 commpage_update_timebase(void) in commpage_update_timebase() function
768 commpage_update_timebase(); in arm_init_cpu()
1122 commpage_update_timebase(); in arm_init_cpu()