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