gic_peek_irq
enabled = gic_peek_irq(d, GICD_ISENABLER);
gic_peek_irq(d, reg);
*val = gic_peek_irq(d, GICD_ISPENDR);
*val = gic_peek_irq(d, GICD_ISACTIVER);
*val = !gic_peek_irq(d, GICD_ISENABLER);
if (gic_peek_irq(d, GICD_ISENABLER)) {
if (gic_peek_irq(d, GICD_ISENABLER)) {
*val = gic_peek_irq(d, GIC_DIST_PENDING_SET);
*val = gic_peek_irq(d, GIC_DIST_ACTIVE_SET);
*val = !gic_peek_irq(d, GIC_DIST_ENABLE_SET);