15db2f26eSSascha Wildner #ifndef _ACPI_SDT_VAR_H_ 25db2f26eSSascha Wildner #define _ACPI_SDT_VAR_H_ 35db2f26eSSascha Wildner 45db2f26eSSascha Wildner void *sdt_sdth_map(vm_paddr_t); 5*8d3ef488SSascha Wildner void sdt_sdth_unmap(ACPI_TABLE_HEADER *); 65db2f26eSSascha Wildner 75db2f26eSSascha Wildner vm_paddr_t sdt_search(const uint8_t *); 85db2f26eSSascha Wildner 95db2f26eSSascha Wildner #endif /* !_ACPI_SDT_VAR_H_ */ 10