122 static void write_vbpr(GICv3CPUState *cs, int grp, int value)  in write_vbpr()
400     uint32_t value = 0;  in eoi_maintenance_interrupt_state()  local
439     uint32_t value = 0;  in maintenance_interrupt_state()  local
565     uint64_t value = cs->ich_apr[grp][regno];  in icv_ap_read()  local
572                          uint64_t value)  in icv_ap_write()
615                           uint64_t value)  in icv_bpr_write()
636     uint64_t value;  in icv_pmr_read()  local
646                           uint64_t value)  in icv_pmr_write()
664     uint64_t value;  in icv_igrpen_read()  local
675                              uint64_t value)  in icv_igrpen_write()
692     uint64_t value;  in icv_ctlr_read()  local
713                                uint64_t value)  in icv_ctlr_write()
745     uint64_t value = INTID_SPURIOUS;  in icv_hppir_read()  local
1107     uint32_t value = cs->icc_pmr_el1;  in icc_pmr_read()  local
1132                           uint64_t value)  in icc_pmr_write()
1552                           uint64_t value)  in icv_dir_write()
1585                            uint64_t value)  in icv_eoir_write()
1646                            uint64_t value)  in icc_eoir_write()
1719     uint64_t value;  in icc_hppir0_read()  local
1733     uint64_t value;  in icc_hppir1_read()  local
1786                           uint64_t value)  in icc_bpr_write()
1830     uint64_t value;  in icc_ap_read()  local
1850                          uint64_t value)  in icc_ap_write()
1886                           uint64_t value)  in icc_dir_write()
2012                              uint64_t value, int grp, bool ns)  in icc_generate_sgi()
2065                            uint64_t value)  in icc_sgi0r_write()
2075                            uint64_t value)  in icc_sgi1r_write()
2087                              uint64_t value)  in icc_asgi1r_write()
2104     uint64_t value;  in icc_igrpen_read()  local
2121                              uint64_t value)  in icc_igrpen_write()
2145     uint64_t value;  in icc_igrpen1_el3_read()  local
2154                                   uint64_t value)  in icc_igrpen1_el3_write()
2170     uint64_t value;  in icc_ctlr_el1_read()  local
2182                                uint64_t value)  in icc_ctlr_el1_write()
2216     uint64_t value;  in icc_ctlr_el3_read()  local
2237                                uint64_t value)  in icc_ctlr_el3_write()
2691     uint64_t value;  in ich_ap_read()  local
2699                          uint64_t value)  in ich_ap_write()
2718     uint64_t value = cs->ich_hcr_el2;  in ich_hcr_read()  local
2725                           uint64_t value)  in ich_hcr_write()
2744     uint64_t value = cs->ich_vmcr_el2;  in ich_vmcr_read()  local
2751                          uint64_t value)  in ich_vmcr_write()
2776     uint64_t value;  in ich_lr_read()  local
2800                          uint64_t value)  in ich_lr_write()
2840     uint64_t value;  in ich_vtr_read()  local
2859     uint64_t value = maintenance_interrupt_state(cs);  in ich_misr_read()  local
2868     uint64_t value = eoi_maintenance_interrupt_state(cs, NULL);  in ich_eisr_read()  local
2877     uint64_t value = 0;  in ich_elrsr_read()  local