void vnDmaCopy(Vn* vn, iova_t dst, iova_t src, size_t num);