void vnDmaClear32(Vn* vn, iova_t dst, u32 val, size_t size);
void vnDmaClear64(Vn* vn, iova_t dst, u64 val, size_t size);