Lines Matching full:acpi
38 #include <contrib/dev/acpica/include/acpi.h>
51 TUNABLE_INT("hw.acpi.reset_video", &acpi_reset_video);
86 /* Check BIOS date. If 1998 or older, disable ACPI. */
99 * Date must be >= 1/1/1999 or we don't trust ACPI. Note that this
129 printf("ACPI: Failed checksum for table %s\n", sig);
139 * See if a given ACPI table is the requested table. Returns the
190 if (resource_disabled("acpi", 0))
194 * Map in the RSDP. Since ACPI uses AcpiOsMapMemory() which in turn
203 printf("ACPI: Failed to map RSDP\n");
208 * For ACPI >= 2.0, use the XSDT if it is available.
220 printf("ACPI: RSDP failed extended checksum\n");
226 printf("ACPI: Failed to map XSDT\n");
241 printf("ACPI: Failed to map RSDT\n");
270 * ACPI nexus(4) driver.
290 if (BUS_ADD_CHILD(dev, 10, "acpi", 0) == NULL)