Searched refs:xen_teardown_timer (Results 1 - 3 of 3) sorted by relevance

/linux-4.4.14/arch/x86/xen/
H A Dxen-ops.h69 void xen_teardown_timer(int cpu);
H A Dtime.c396 void xen_teardown_timer(int cpu) xen_teardown_timer() function
416 xen_teardown_timer(cpu); xen_setup_timer()
H A Dsmp.c531 xen_teardown_timer(cpu); xen_cpu_die()

Completed in 66 milliseconds