gic_irq_get_active
GUEST_ASSERT(gic_irq_get_active(intid));
GUEST_ASSERT(!gic_irq_get_active(intid));
GUEST_ASSERT(!gic_irq_get_active(i + first_intid));
GUEST_ASSERT(!gic_irq_get_active(i + first_intid));
GUEST_ASSERT(!gic_irq_get_active(MIN_SPI));
GUEST_ASSERT(!gic_irq_get_active(0));
GUEST_ASSERT(!gic_irq_get_active(27));
bool gic_irq_get_active(unsigned int intid);
return gic_common_ops->gic_irq_get_active(intid);
bool (*gic_irq_get_active)(uint32_t intid);
.gic_irq_get_active = gicv3_irq_get_active,