immu_qinv_iotlb_gbl
immu_qinv_iotlb_gbl,
void immu_qinv_iotlb_gbl(immu_t *immu, immu_inv_wait_t *iwp);