kvm_vcpu_ioctl_dirty_tlb
int kvm_vcpu_ioctl_dirty_tlb(struct kvm_vcpu *vcpu,
r = kvm_vcpu_ioctl_dirty_tlb(vcpu, &dirty);