Symbol: uv_rtc_unset_timer
arch/x86/platform/uv/uv_time.c
306
uv_rtc_unset_timer(ced_cpu, 1);
arch/x86/platform/uv/uv_time.c
318
if (uv_rtc_unset_timer(cpu, 0) != 1)