Searched refs:reg_to_dbg (Results 1 – 1 of 1) sorted by relevance
222 static inline void reg_to_dbg(struct kvm_vcpu *vcpu, in reg_to_dbg() function253 reg_to_dbg(vcpu, p, dbg_reg); in trap_bvr()295 reg_to_dbg(vcpu, p, dbg_reg); in trap_bcr()338 reg_to_dbg(vcpu, p, dbg_reg); in trap_wvr()381 reg_to_dbg(vcpu, p, dbg_reg); in trap_wcr()