Symbol: tcotimer_tickle
sys/arch/x86/pci/tco.c
182
sc->sc_smw.smw_tickle = tcotimer_tickle;
sys/arch/x86/pci/tco.c
298
tcotimer_tickle(smw);
sys/arch/x86/pci/tco.c
81
static int tcotimer_tickle(struct sysmon_wdog *);