gic_common_ops
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_set_eoi_split(split);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_set_priority_mask(pmr);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_set_priority(intid, prio);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_set_active(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_clear_active(intid);
GUEST_ASSERT(gic_common_ops);
return gic_common_ops->gic_irq_get_active(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_set_pending(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_clear_pending(intid);
GUEST_ASSERT(gic_common_ops);
return gic_common_ops->gic_irq_get_pending(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_set_config(intid, is_edge);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_set_group(intid, group);
static const struct gic_common_ops *gic_common_ops;
gic_common_ops->gic_cpu_init(cpu);
const struct gic_common_ops *gic_ops = NULL;
if (gic_common_ops) {
gic_common_ops = gic_ops;
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_enable(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_irq_disable(intid);
GUEST_ASSERT(gic_common_ops);
irqstat = gic_common_ops->gic_read_iar();
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_write_eoir(intid);
GUEST_ASSERT(gic_common_ops);
gic_common_ops->gic_write_dir(intid);
extern const struct gic_common_ops gicv3_ops;
const struct gic_common_ops gicv3_ops = {