viommu_init
void viommu_init(char *, struct iommu_state *, int, u_int32_t);
viommu_init(name, is, tsbsize, iobase);