Searched refs:jailhouse_timer_init (Results 1 – 1 of 1) sorted by relevance
45 static void __init jailhouse_timer_init(void) in jailhouse_timer_init() function145 x86_init.timers.timer_init = jailhouse_timer_init; in jailhouse_init_platform()
