1 #ifndef _ACPI_SDT_VAR_H_
2 #define _ACPI_SDT_VAR_H_
3 
4 void		*sdt_sdth_map(vm_paddr_t);
5 void		sdt_sdth_unmap(ACPI_TABLE_HEADER *);
6 
7 vm_paddr_t	sdt_search(const uint8_t *);
8 
9 #endif	/* !_ACPI_SDT_VAR_H_ */
10