acpi_load_table    70 dev/acpi/acpi.c void	acpi_load_table(paddr_t, size_t, acpi_qhead_t *);
acpi_load_table   676 dev/acpi/acpi.c 			acpi_load_table(xsdt->table_offsets[i], hdr->length,
acpi_load_table   703 dev/acpi/acpi.c 			acpi_load_table(rsdt->table_offsets[i], hdr->length,