kvm_dirty_ring_push
void kvm_dirty_ring_push(struct kvm_vcpu *vcpu, u32 slot, u64 offset);
TRACE_EVENT(kvm_dirty_ring_push,
kvm_dirty_ring_push(vcpu, slot, rel_gfn);