uv_rtc_unset_timer  316 arch/x86/platform/uv/uv_time.c 	uv_rtc_unset_timer(ced_cpu, 1);
uv_rtc_unset_timer  328 arch/x86/platform/uv/uv_time.c 	if (uv_rtc_unset_timer(cpu, 0) != 1)