74 				 const struct coproc_reg *r)  in reset_unknown()  argument
76 	BUG_ON(!r->reg);  in reset_unknown()
77 	BUG_ON(r->reg >= ARRAY_SIZE(vcpu->arch.ctxt.cp15));  in reset_unknown()
78 	vcpu_cp15(vcpu, r->reg) = 0xdecafbad;  in reset_unknown()
81 static inline void reset_val(struct kvm_vcpu *vcpu, const struct coproc_reg *r)  in reset_val()  argument
83 	BUG_ON(!r->reg);  in reset_val()
84 	BUG_ON(r->reg >= ARRAY_SIZE(vcpu->arch.ctxt.cp15));  in reset_val()
85 	vcpu_cp15(vcpu, r->reg) = r->val;  in reset_val()
89 				   const struct coproc_reg *r)  in reset_unknown64()  argument
91 	BUG_ON(!r->reg);  in reset_unknown64()
92 	BUG_ON(r->reg + 1 >= ARRAY_SIZE(vcpu->arch.ctxt.cp15));  in reset_unknown64()
94 	vcpu_cp15(vcpu, r->reg) = 0xdecafbad;  in reset_unknown64()
95 	vcpu_cp15(vcpu, r->reg+1) = 0xd0c0ffee;  in reset_unknown64()
128 		   const struct coproc_reg *r);