VGIC_ADDR_TO_INTID
u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
int intid = VGIC_ADDR_TO_INTID(addr, 64);
int intid = VGIC_ADDR_TO_INTID(addr, 64);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
u32 intid = VGIC_ADDR_TO_INTID(addr, 8);
u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);
u32 intid = VGIC_ADDR_TO_INTID(addr, 2);
return VGIC_ADDR_TO_INTID(addr, region->bits_per_irq) < nr_irqs;
u32 intid = VGIC_ADDR_TO_INTID(addr, 1);