OS-2366 ddi_periodic_add(9F) is entirely rubbish (MORE)

@@ -62,11 +62,11 @@
 #include <sys/cyclic.h>
 #include <sys/cpupart.h>
 #include <sys/rctl.h>
 #include <sys/task.h>
 #include <sys/sdt.h>
-#include <sys/ddi_timer.h>
+#include <sys/ddi_periodic.h>
 #include <sys/random.h>
 #include <sys/modctl.h>
 #include <sys/zone.h>
 
 /*

@@ -314,11 +314,10 @@
 int     tod_needsync = 0;       /* need to sync tod chip with software time */
 static int tod_broken = 0;      /* clock chip doesn't work */
 time_t  boot_time = 0;          /* Boot time in seconds since 1970 */
 cyclic_id_t clock_cyclic;       /* clock()'s cyclic_id */
 cyclic_id_t deadman_cyclic;     /* deadman()'s cyclic_id */
-cyclic_id_t ddi_timer_cyclic;   /* cyclic_timer()'s cyclic_id */
 
 extern void     clock_tick_schedule(int);
 
 static int lgrp_ticks;          /* counter to schedule lgrp load calcs */