Searched refs:ivhd_devs (Results 1 – 2 of 2) sorted by relevance
52 device_t *ivhd_devs; /* IVHD or AMD-Vi device list. */ variable399 ivhd_devs = malloc(sizeof(device_t) * ivhd_count, M_DEVBUF, in ivhd_identify()409 ivhd_devs[i] = BUS_ADD_CHILD(parent, in ivhd_identify()416 if (ivhd_devs[i] == NULL) { in ivhd_identify()417 ivhd_devs[i] = device_find_child(parent, "ivhd", i); in ivhd_identify()418 if (ivhd_devs[i] == NULL) { in ivhd_identify()645 KASSERT((ivhd_devs[unit] == dev), in ivhd_attach()646 ("Not same device old %p new %p", ivhd_devs[unit], dev)); in ivhd_attach()
73 extern device_t *ivhd_devs;989 softc = device_get_softc(ivhd_devs[i]); in amdvi_do_inv_domain()1204 softc = device_get_softc(ivhd_devs[i]); in amdvi_find_iommu()1317 softc = device_get_softc(ivhd_devs[i]); in amdvi_enable()1351 softc = device_get_softc(ivhd_devs[i]); in amdvi_disable()