Searched refs:ivhd_devs (Results 1 – 2 of 2) sorted by relevance
50 device_t *ivhd_devs; /* IVHD or AMD-Vi device list. */ variable396 ivhd_devs = kmem_zalloc(sizeof(device_t) * ivhd_count, KM_SLEEP); in ivhd_identify()405 ivhd_devs[i] = BUS_ADD_CHILD(parent, in ivhd_identify()412 if (ivhd_devs[i] == NULL) { in ivhd_identify()413 ivhd_devs[i] = device_find_child(parent, "ivhd", i); in ivhd_identify()414 if (ivhd_devs[i] == NULL) { in ivhd_identify()641 KASSERT((ivhd_devs[unit] == dev), in ivhd_attach()642 ("Not same device old %p new %p", ivhd_devs[unit], dev)); in ivhd_attach()
70 extern device_t *ivhd_devs;986 softc = device_get_softc(ivhd_devs[i]); in amdvi_do_inv_domain()1201 softc = device_get_softc(ivhd_devs[i]); in amdvi_find_iommu()1314 softc = device_get_softc(ivhd_devs[i]); in amdvi_enable()1348 softc = device_get_softc(ivhd_devs[i]); in amdvi_disable()