1. 2018-03-28 Re: [PATCHv4] irqchip: arm-gic: take gic_lock when up linux-teg Marc Zyngier 2. 2018-03-28 Re: [PATCHv4] irqchip: arm-gic: take gic_lock when up linux-ker Marc Zyngier 3. 2018-03-28 [PATCHv4] irqchip: arm-gic: take gic_lock when updati linux-teg Aniruddha Banerjee 4. 2018-03-28 [PATCHv4] irqchip: arm-gic: take gic_lock when updati linux-ker Aniruddha Banerjee