Symbol: ppgtt_handle_guest_write_page_table_bytes
sys/dev/pci/drm/i915/gvt/gtt.c
715
static int ppgtt_handle_guest_write_page_table_bytes(
sys/dev/pci/drm/i915/gvt/gtt.c
730
ret = ppgtt_handle_guest_write_page_table_bytes(spt, gpa, data, bytes);