71 static inline bool ignore_write(struct kvm_vcpu *vcpu,  in ignore_write()  argument
77 static inline bool read_zero(struct kvm_vcpu *vcpu,  in read_zero()  argument
80 	*vcpu_reg(vcpu, p->Rt1) = 0;  in read_zero()
84 static inline bool write_to_read_only(struct kvm_vcpu *vcpu,  in write_to_read_only()  argument
88 		  *vcpu_pc(vcpu));  in write_to_read_only()
93 static inline bool read_from_write_only(struct kvm_vcpu *vcpu,  in read_from_write_only()  argument
97 		  *vcpu_pc(vcpu));  in read_from_write_only()
103 static inline void reset_unknown(struct kvm_vcpu *vcpu,  in reset_unknown()  argument
107 	BUG_ON(r->reg >= ARRAY_SIZE(vcpu->arch.cp15));  in reset_unknown()
108 	vcpu->arch.cp15[r->reg] = 0xdecafbad;  in reset_unknown()
111 static inline void reset_val(struct kvm_vcpu *vcpu, const struct coproc_reg *r)  in reset_val()  argument
114 	BUG_ON(r->reg >= ARRAY_SIZE(vcpu->arch.cp15));  in reset_val()
115 	vcpu->arch.cp15[r->reg] = r->val;  in reset_val()
118 static inline void reset_unknown64(struct kvm_vcpu *vcpu,  in reset_unknown64()  argument
122 	BUG_ON(r->reg + 1 >= ARRAY_SIZE(vcpu->arch.cp15));  in reset_unknown64()
124 	vcpu->arch.cp15[r->reg] = 0xdecafbad;  in reset_unknown64()
125 	vcpu->arch.cp15[r->reg+1] = 0xd0c0ffee;  in reset_unknown64()
156 bool access_vm_reg(struct kvm_vcpu *vcpu,