Searched refs:commpage_update_timebase (Results 1 – 3 of 3) sorted by relevance
42 extern void commpage_update_timebase(void);
185 commpage_update_timebase(); in commpage_populate()699 commpage_update_timebase(void) in commpage_update_timebase() function
723 commpage_update_timebase(); in arm_init_cpu()