Symbol: ppgtt_set_guest_page_sync
drivers/gpu/drm/i915/gvt/gtt.c
1452
ret = ppgtt_set_guest_page_sync(oos_page->spt);
drivers/gpu/drm/i915/gvt/gtt.c
1500
ret = ppgtt_set_guest_page_sync(oos_page->spt);