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