Symbol: kvm_vcpu_map_mark_dirty