HomeSort by: relevance | last modified time | path
    Searched refs:tco (Results 1 - 6 of 6) sorted by relevancy

  /src/sys/modules/tco/
Makefile 7 KMOD= tco
8 IOCONF= tco.ioconf
9 SRCS= tco.c
  /src/share/man/man4/man4.x86/
Makefile 5 powernow.4 soekrisgpio.4 tco.4 amdsmn.4 amdzentemp.4 viac7temp.4
  /src/sys/dev/pci/
ichsmb.c 45 #include <x86/pci/tco.h>
252 * Probe to see if there's a TCO hanging here instead of the
278 * Only attempt this on devices where we expect to find a TCO.
289 * Verify the TCO base address register is enabled.
294 aprint_debug_dev(self, "TCO disabled\n");
299 * Verify the TCO base address register has the I/O space bit
306 aprint_error_dev(self, "unrecognized TCO space\n");
311 * Map the TCO I/O space.
317 aprint_error_dev(self, "failed to map TCO: %d\n", error);
415 ichsmb_tco_set_noreboot(device_t tco, bool noreboot
    [all...]
  /src/sys/arch/x86/pci/
tco.c 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. *
    [all...]
ichlpcib.c 66 #include <arch/x86/pci/tco.h>
92 /* TCO variables. */
356 aprint_error_dev(self, "can't map TCO space\n");
388 /* Set up the TCO (watchdog). */
  /src/sys/modules/
Makefile 253 SUBDIR+= tco

Completed in 16 milliseconds