HelenOS sources

acpi_sdt_check     89 kernel/genarch/include/genarch/acpi/acpi.h extern int acpi_sdt_check(uint8_t *sdt);
acpi_sdt_check    136 kernel/genarch/src/acpi/acpi.c 				if (!acpi_sdt_check((uint8_t *) vhdr))
acpi_sdt_check    162 kernel/genarch/src/acpi/acpi.c 				if (!acpi_sdt_check((uint8_t *) vhdr))
acpi_sdt_check    221 kernel/genarch/src/acpi/acpi.c 	if ((acpi_rsdt) && (!acpi_sdt_check((uint8_t *) acpi_rsdt))) {
acpi_sdt_check    226 kernel/genarch/src/acpi/acpi.c 	if ((acpi_xsdt) && (!acpi_sdt_check((uint8_t *) acpi_xsdt))) {