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); }