#ifndef _ACPI_SDT_VAR_H_
#define _ACPI_SDT_VAR_H_

void            *sdt_sdth_map(vm_paddr_t);
void            sdt_sdth_unmap(ACPI_TABLE_HEADER *);

vm_paddr_t      sdt_search(const uint8_t *);

#endif  /* !_ACPI_SDT_VAR_H_ */