Searched refs:sgi_pending (Results 1 – 4 of 4) sorted by relevance
581 assert(s->sgi_pending[irq][cpu] != 0); in gic_clear_pending_sgi()582 src = ctz32(s->sgi_pending[irq][cpu]); in gic_clear_pending_sgi()583 s->sgi_pending[irq][cpu] &= ~(1 << src); in gic_clear_pending_sgi()584 if (s->sgi_pending[irq][cpu] == 0) { in gic_clear_pending_sgi()1134 res = s->sgi_pending[irq][cpu]; in gic_dist_readb()1464 s->sgi_pending[irq][cpu] &= ~value; in gic_dist_writeb()1465 if (s->sgi_pending[irq][cpu] == 0) { in gic_dist_writeb()1479 s->sgi_pending[irq][cpu] |= value; in gic_dist_writeb()1528 s->sgi_pending[irq][target_cpu] |= (1 << cpu); in gic_dist_writel()
115 VMSTATE_UINT8_2DARRAY(sgi_pending, GICState, GIC_NR_SGIS, GIC_NCPU),260 s->sgi_pending[j][i] = 0; in arm_gic_common_reset_irq_state()
225 *field = s->sgi_pending[irq][cpu] & 0xff; in translate_sgisource()227 s->sgi_pending[irq][cpu] = *field & 0xff; in translate_sgisource()
97 uint8_t sgi_pending[GIC_NR_SGIS][GIC_NCPU]; member