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 in acpi_machdep_quirks()
129 printf("ACPI: Failed checksum for table %s\n", sig); in map_table()
139 * See if a given ACPI table is the requested table. Returns the
190 if (resource_disabled("acpi", 0)) in acpi_find_table()
194 * Map in the RSDP. Since ACPI uses AcpiOsMapMemory() which in turn in acpi_find_table()
203 printf("ACPI: Failed to map RSDP\n"); in acpi_find_table()
208 * For ACPI >= 2.0, use the XSDT if it is available. in acpi_find_table()
220 printf("ACPI: RSDP failed extended checksum\n"); in acpi_find_table()
226 printf("ACPI: Failed to map XSDT\n"); in acpi_find_table()
241 printf("ACPI: Failed to map RSDT\n"); in acpi_find_table()
270 * ACPI nexus(4) driver.
290 if (BUS_ADD_CHILD(dev, 10, "acpi", 0) == NULL) in nexus_acpi_attach()