usr/src/boot/efi/libefi/acpi.c

104

rsdt = acpi_map_sdt(rsdp->RsdtPhysicalAddress);

usr/src/boot/efi/libefi/acpi.c

115

sdp = acpi_map_sdt(rsdt->TableOffsetEntry[i]);

usr/src/boot/efi/libefi/acpi.c

79

xsdt = acpi_map_sdt(rsdp->XsdtPhysicalAddress);

usr/src/boot/efi/libefi/acpi.c

91

sdp = acpi_map_sdt(xsdt->TableOffsetEntry[i]);

usr/src/boot/i386/libi386/biosacpi.c

205

addr = acpi_map_sdt(0x40E);

usr/src/boot/i386/libi386/biosacpi.c

226

rsdp = acpi_map_sdt(base + ofs);

usr/src/boot/i386/libi386/biosacpi.c

260

xsdt = acpi_map_sdt(rsdp->XsdtPhysicalAddress);

usr/src/boot/i386/libi386/biosacpi.c

272

sdp = acpi_map_sdt(xsdt->TableOffsetEntry[i]);

usr/src/boot/i386/libi386/biosacpi.c

285

rsdt = acpi_map_sdt(rsdp->RsdtPhysicalAddress);

usr/src/boot/i386/libi386/biosacpi.c

296

sdp = acpi_map_sdt(rsdt->TableOffsetEntry[i]);