ppgtt_set_guest_page_sync 1533 drivers/gpu/drm/i915/gvt/gtt.c 		ret = ppgtt_set_guest_page_sync(oos_page->spt);
ppgtt_set_guest_page_sync 1581 drivers/gpu/drm/i915/gvt/gtt.c 		ret = ppgtt_set_guest_page_sync(oos_page->spt);