[#59343] GICv3: Add initial support for SGIs for multi-core configurations
1 file changed