Home | History | Annotate | Download | only in pci

Lines Matching refs:tco

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)
417 	device_t self = device_parent(tco);
421 	KASSERTMSG(tco == sc->sc_tco_device || sc->sc_tco_device == NULL,
422 	    "tco=%p child=%p", tco, sc->sc_tco_device);
424 	    device_xname(tco), device_xname(self));