vmx_sync_dirty_debug_regs
vmx_sync_dirty_debug_regs(vcpu);
void vmx_sync_dirty_debug_regs(struct kvm_vcpu *vcpu);