Searched refs:bios_timer_init (Results 1 – 1 of 1) sorted by relevance
503 static inline void bios_timer_init(void) in bios_timer_init() function647 bios_timer_init(); in bios_init()