1. 4b3cfe7 intc/gic: Extract some reusable vGIC code by Pavel Fedin ยท 9 years ago