14 			u64 val)  in set_gic_ctlr()
64 	u64 val;  in get_gic_ctlr()  local
88 		       u64 val)  in set_gic_pmr()
100 		       u64 *val)  in get_gic_pmr()
111 			u64 val)  in set_gic_bpr0()
123 			u64 *val)  in get_gic_bpr0()
134 			u64 val)  in set_gic_bpr1()
148 			u64 *val)  in get_gic_bpr1()
163 			  u64 val)  in set_gic_grpen0()
175 			  u64 *val)  in get_gic_grpen0()
186 			  u64 val)  in set_gic_grpen1()
198 			  u64 *val)  in get_gic_grpen1()
208 static void set_apr_reg(struct kvm_vcpu *vcpu, u64 val, u8 apr, u8 idx)  in set_apr_reg()
229 			u64 val)  in set_gic_ap0r()
242 			u64 *val)  in get_gic_ap0r()
255 			u64 val)  in set_gic_ap1r()
268 			u64 *val)  in get_gic_ap1r()
281 		       u64 val)  in set_gic_sre()
291 		       u64 *val)  in get_gic_sre()