propagate_event   431 drivers/gpu/drm/i915/gvt/interrupt.c 	propagate_event(irq, event, vgpu);
propagate_event   304 drivers/gpu/drm/i915/gvt/trace.h TRACE_EVENT(propagate_event,