1. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew ยท Mon Feb 01 17:59:22 2016 +0000