Home | History | Annotate | Download | only in pci

Lines Matching refs:tco

1 /*	$NetBSD: tco.c,v 1.10 2023/04/12 06:39:15 riastradh Exp $	*/
37 __KERNEL_RCSID(0, "$NetBSD: tco.c,v 1.10 2023/04/12 06:39:15 riastradh Exp $");
52 #include <arch/x86/pci/tco.h>
87 CFATTACH_DECL3_NEW(tco, sizeof(struct tco_softc),
128 	aprint_normal(": TCO (watchdog) timer configured.\n");
142 			aprint_error_dev(self, "failed to map TCO\n");
148 	/* Explicitly stop the TCO timer. */
152 	 * Enable TCO timeout SMI only if the hardware reset does not
209 		aprint_error_dev(self, "unable to register TCO timer"
233 	/* Explicitly stop the TCO timer. */
265 		/* Stop the TCO timer. */
272 		/* Stop the TCO timer, */
390 			/* TCO timeout reset is disabled; try to enable it */
403 	aprint_error_dev(self, "TCO timer reboot disabled by hardware; "
408 MODULE(MODULE_CLASS_DRIVER, tco, "sysmon_wdog");