wdtpci_ctr_load
wdtpci_ctr_load(0, 20833); /* count at 100Hz */
wdtpci_ctr_load(1, wd_heartbeat);/* Heartbeat */
wdtpci_ctr_load(2, 0); /* 0 length reset pulses now */
wdtpci_ctr_load(1, wd_heartbeat);/* Heartbeat */