Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/gvt/gtt.c ppgtt_set_guest_page_oos() -> intel_vgpu_disable_page_track()

Type Parameter Key Value
PARAM_VALUE 0 vgpu 4096-ptr_max
PARAM_VALUE 0 vgpu->gtt.oos_page_list_head.prev 4096-ptr_max
PARAM_VALUE 0 vgpu->gtt.oos_page_list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 vgpu->gtt.oos_page_list_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt 4096-ptr_max
PARAM_VALUE 0 vgpu->gvt->gtt.pte_ops->test_present 4096-ptr_max
PARAM_VALUE 0 vgpu->vfio_device.kvm->vm_bugged 0-1
PARAM_VALUE 0 vgpu->vfio_device.kvm->vm_dead 0-1
UNITS 1 gfn unit_page
LOCK2 &head->track_srcu
LOCK2 &vgpu->vgpu_lock
TYPE_LOCK (struct intel_vgpu)->vgpu_lock
TYPE_LOCK (struct kvm_page_track_notifier_head)->track_srcu