Searched refs:dbg_to_reg (Results 1 – 1 of 1) sorted by relevance
237 static inline void dbg_to_reg(struct kvm_vcpu *vcpu, in dbg_to_reg() function255 dbg_to_reg(vcpu, p, dbg_reg); in trap_bvr()297 dbg_to_reg(vcpu, p, dbg_reg); in trap_bcr()340 dbg_to_reg(vcpu, p, dbg_reg); in trap_wvr()383 dbg_to_reg(vcpu, p, dbg_reg); in trap_wcr()