/arch/system/gic/