intel_vgpu_put_ppgtt_mm  273 drivers/gpu/drm/i915/gvt/gtt.h int intel_vgpu_put_ppgtt_mm(struct intel_vgpu *vgpu, u64 pdps[]);
intel_vgpu_put_ppgtt_mm 1226 drivers/gpu/drm/i915/gvt/handlers.c 		return intel_vgpu_put_ppgtt_mm(vgpu, pdps);