Searched refs:vcpu_cp14 (Results 1 – 2 of 2) sorted by relevance
146 #define vcpu_cp14(v,r) ((v)->arch.ctxt.copro[(r)]) macro
474 vcpu_cp14(vcpu, r->reg) = *vcpu_reg(vcpu, p->Rt); in trap_debug32()477 *vcpu_reg(vcpu, p->Rt) = vcpu_cp14(vcpu, r->reg); in trap_debug32()