static void __exit pps_ktimer_exit()

in clients/pps-ktimer.c [57:63]


static void __exit pps_ktimer_exit(void)
{
	dev_info(pps->dev, "ktimer PPS source unregistered\n");

	del_timer_sync(&ktimer);
	pps_unregister_source(pps);
}