GIC_PIN_TO_VEC_OFFSET
irq -= GIC_PIN_TO_VEC_OFFSET;
set_vi_handler(gic_cpu_pin + GIC_PIN_TO_VEC_OFFSET,