115                                   uint32_t *field, bool to_kernel);
121                             uint32_t *field, bool to_kernel)  in translate_clear()  argument
124         *field = ~0;  in translate_clear()
132                             uint32_t *field, bool to_kernel)  in translate_group()  argument
137         *field = GIC_DIST_TEST_GROUP(irq, cm);  in translate_group()
139         if (*field & 1) {  in translate_group()
146                               uint32_t *field, bool to_kernel)  in translate_enabled()  argument
151         *field = GIC_DIST_TEST_ENABLED(irq, cm);  in translate_enabled()
153         if (*field & 1) {  in translate_enabled()
160                               uint32_t *field, bool to_kernel)  in translate_pending()  argument
165         *field = gic_test_pending(s, irq, cm);  in translate_pending()
167         if (*field & 1) {  in translate_pending()
175                              uint32_t *field, bool to_kernel)  in translate_active()  argument
180         *field = GIC_DIST_TEST_ACTIVE(irq, cm);  in translate_active()
182         if (*field & 1) {  in translate_active()
189                               uint32_t *field, bool to_kernel)  in translate_trigger()  argument
192         *field = (GIC_DIST_TEST_EDGE_TRIGGER(irq)) ? 0x2 : 0x0;  in translate_trigger()
194         if (*field & 0x2) {  in translate_trigger()
201                                uint32_t *field, bool to_kernel)  in translate_priority()  argument
204         *field = GIC_DIST_GET_PRIORITY(irq, cpu) & 0xff;  in translate_priority()
207                               *field & 0xff, MEMTXATTRS_UNSPECIFIED);  in translate_priority()
212                               uint32_t *field, bool to_kernel)  in translate_targets()  argument
215         *field = s->irq_target[irq] & 0xff;  in translate_targets()
217         s->irq_target[irq] = *field & 0xff;  in translate_targets()
222                                 uint32_t *field, bool to_kernel)  in translate_sgisource()  argument
225         *field = s->sgi_pending[irq][cpu] & 0xff;  in translate_sgisource()
227         s->sgi_pending[irq][cpu] = *field & 0xff;  in translate_sgisource()
241     uint32_t field;  in kvm_dist_get()  local
249                 field = extract32(reg, j * width, width);  in kvm_dist_get()
250                 translate_fn(s, irq + j, cpu, &field, false);  in kvm_dist_get()
269     uint32_t field;  in kvm_dist_put()  local
277                 translate_fn(s, irq + j, cpu, &field, true);  in kvm_dist_put()
278                 reg = deposit32(reg, j * width, width, field);  in kvm_dist_put()