Searched refs:reg_to_dbg (Results 1 – 1 of 1) sorted by relevance
401 static void reg_to_dbg(struct kvm_vcpu *vcpu, in reg_to_dbg() function432 reg_to_dbg(vcpu, p, dbg_reg); in trap_bvr()474 reg_to_dbg(vcpu, p, dbg_reg); in trap_bcr()517 reg_to_dbg(vcpu, p, dbg_reg); in trap_wvr()560 reg_to_dbg(vcpu, p, dbg_reg); in trap_wcr()