Searched refs:read_IRQreg_idr (Results 1 – 1 of 1) sorted by relevance
427 static inline uint32_t read_IRQreg_idr(OpenPICState *opp, int n_IRQ) in read_IRQreg_idr() function696 opp->src[n_IRQ].destmask = read_IRQreg_idr(opp, n_IRQ); in qemu_timer_cb()819 retval = read_IRQreg_idr(opp, opp->irq_tim0 + idx); in openpic_tmr_read()871 retval = read_IRQreg_idr(opp, idx); in openpic_src_read()