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