map_sdt 134 kernel/genarch/src/acpi/acpi.c struct acpi_sdt_header *vhdr = map_sdt(hdr); map_sdt 160 kernel/genarch/src/acpi/acpi.c struct acpi_sdt_header *vhdr = map_sdt(hdr); map_sdt 214 kernel/genarch/src/acpi/acpi.c acpi_rsdt = (struct acpi_rsdt *) map_sdt( map_sdt 218 kernel/genarch/src/acpi/acpi.c acpi_xsdt = (struct acpi_xsdt *) map_sdt(HelenOS homepage, sources at GitHub