278     uint32_t value = 0;  in gic_compute_misr()  local
743 static void gic_set_cpu_control(GICState *s, int cpu, uint32_t value,  in gic_set_cpu_control()
1192                             uint32_t value, MemTxAttrs attrs)  in gic_dist_writeb()
1492                             uint32_t value, MemTxAttrs attrs)  in gic_dist_writew()
1499                             uint32_t value, MemTxAttrs attrs)  in gic_dist_writel()
1592                                          uint32_t value)  in gic_apr_write_ns_view()
1716                                  uint32_t value, MemTxAttrs attrs)  in gic_cpu_write()
1816                                      uint64_t value, unsigned size,  in gic_thiscpu_write()
1836                                     uint64_t value, unsigned size,  in gic_do_cpu_write()
1854                                      uint64_t value, unsigned size,  in gic_thisvcpu_write()
1890 static void gic_vmcr_write(GICState *s, uint32_t value, MemTxAttrs attrs)  in gic_vmcr_write()
1978                                  uint64_t value, MemTxAttrs attrs)  in gic_hyp_write()
2031                                      uint64_t value, unsigned size,  in gic_thiscpu_hyp_write()
2050                                      uint64_t value, unsigned size,  in gic_do_hyp_write()