Lines Matching defs:acpi_map_sdt

88 static ACPI_TABLE_HEADER *acpi_map_sdt(vm_offset_t pa);
276 		facs = (ACPI_TABLE_FACS *)acpi_map_sdt(addr);
285 		dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
287 		dsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);
2522 acpi_map_sdt(vm_offset_t pa)
2621 		sdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
2646 		rsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(rp->RsdtPhysicalAddress);
2652 		rsdp = (ACPI_TABLE_HEADER *)acpi_map_sdt(rp->XsdtPhysicalAddress);
2842 		sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(addr);
2865 		sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->Dsdt);
2867 		sdt = (ACPI_TABLE_HEADER *)acpi_map_sdt(fadt->XDsdt);