text: #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_ */
  