ppgtt_put_spt    1002 drivers/gpu/drm/i915/gvt/gtt.c 	if (ppgtt_put_spt(spt) > 0)
ppgtt_put_spt    1087 drivers/gpu/drm/i915/gvt/gtt.c 				ppgtt_put_spt(spt);