Lines Matching refs:driver
124 static void acpi_driver_added(device_t dev, driver_t *driver);
311 printf("The ACPI driver cannot be loaded after boot.\n");
337 /* Only run the startup code once. The MADT driver also calls this. */
823 * to power it off. We'll power it back up when a driver is added.
838 * If a new driver has a chance to probe a child, first power it up.
843 acpi_driver_added(device_t dev, driver_t *driver)
848 DEVICE_IDENTIFY(driver, dev);
1291 * The acpi_ec(4) driver can allocate its resources early
1301 * that other devices will not use it. If the driver
1447 * parse the resources but have to defer it until a driver
1923 * PCI host bridge driver.
2102 * be discovered by other buses (e.g. the PCI bus driver).