Warnings before patch:
files: ['drivers/irqchip/irq-gic-v3.c', 'drivers/irqchip/irq-mvebu-odmi.c']

Current warnings:
files: ['drivers/irqchip/irq-gic-v3.c', 'drivers/irqchip/irq-mvebu-odmi.c']

Warnings before: 0 after: 0