445 static inline void write_IRQreg_idr(OpenPICState *opp, int n_IRQ, uint32_t val)  in write_IRQreg_idr()
490 static inline void write_IRQreg_ilr(OpenPICState *opp, int n_IRQ, uint32_t val)  in write_IRQreg_ilr()
503 static inline void write_IRQreg_ivpr(OpenPICState *opp, int n_IRQ, uint32_t val)  in write_IRQreg_ivpr()
542 static void openpic_gcr_write(OpenPICState *opp, uint64_t val)  in openpic_gcr_write()
562 static void openpic_gbl_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_gbl_write()
687     uint32_t val =   tmr->tbcr & ~TBCR_CI;  in qemu_timer_cb()  local
704 static void openpic_tmr_set_tmr(OpenPICTimer *tmr, uint32_t val, bool enabled)  in openpic_tmr_set_tmr()
745 static void openpic_tmr_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_tmr_write()
828 static void openpic_src_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_src_write()
881 static void openpic_msi_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_msi_write()
956 static void openpic_summary_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_summary_write()
966                                        uint32_t val, int idx)  in openpic_cpu_write_internal()
1049 static void openpic_cpu_write(void *opaque, hwaddr addr, uint64_t val,  in openpic_cpu_write()