gic_irq_get_pending
GUEST_ASSERT(!gic_irq_get_pending(intid));
GUEST_ASSERT(!gic_irq_get_pending(intid));
GUEST_ASSERT(gic_irq_get_pending(0));
GUEST_ASSERT(gic_irq_get_pending(27));
GUEST_ASSERT(!gic_irq_get_pending(27));
GUEST_ASSERT(gic_irq_get_pending(27));
bool gic_irq_get_pending(unsigned int intid);
return gic_common_ops->gic_irq_get_pending(intid);
bool (*gic_irq_get_pending)(uint32_t intid);
.gic_irq_get_pending = gicv3_irq_get_pending,