Symbol: ppgtt_handle_guest_write_page_table
drivers/gpu/drm/i915/gvt/gtt.c
1617
ret = ppgtt_handle_guest_write_page_table(spt,
drivers/gpu/drm/i915/gvt/gtt.c
1656
ret = ppgtt_handle_guest_write_page_table(spt, &we, index);