Symbol: ppgtt_set_guest_page_sync
sys/dev/pci/drm/i915/gvt/gtt.c
1449
ret = ppgtt_set_guest_page_sync(oos_page->spt);
sys/dev/pci/drm/i915/gvt/gtt.c
1497
ret = ppgtt_set_guest_page_sync(oos_page->spt);