Symbol: intel_vgpu_put_ppgtt_mm
sys/dev/pci/drm/i915/gvt/gtt.h
282
int intel_vgpu_put_ppgtt_mm(struct intel_vgpu *vgpu, u64 pdps[]);
sys/dev/pci/drm/i915/gvt/handlers.c
1507
return intel_vgpu_put_ppgtt_mm(vgpu, pdps);