Searched refs:ivhd_devs (Results 1 – 2 of 2) sorted by relevance
51 device_t *ivhd_devs; /* IVHD or AMD-Vi device list. */ variable374 ivhd_devs = malloc(sizeof(device_t) * ivhd_count, M_DEVBUF, in ivhd_identify()384 ivhd_devs[i] = BUS_ADD_CHILD(parent, in ivhd_identify()391 if (ivhd_devs[i] == NULL) { in ivhd_identify()392 ivhd_devs[i] = device_find_child(parent, "ivhd", i); in ivhd_identify()393 if (ivhd_devs[i] == NULL) { in ivhd_identify()623 KASSERT((ivhd_devs[unit] == dev), in ivhd_attach()624 ("Not same device old %p new %p", ivhd_devs[unit], dev)); in ivhd_attach()
75 extern device_t *ivhd_devs;1061 softc = device_get_softc(ivhd_devs[i]); in amdvi_do_inv_domain()1276 softc = device_get_softc(ivhd_devs[i]); in amdvi_find_iommu()1288 return (device_get_softc(ivhd_devs[0])); in amdvi_find_iommu()1391 softc = device_get_softc(ivhd_devs[i]); in amdvi_enable()1425 softc = device_get_softc(ivhd_devs[i]); in amdvi_disable()