1. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew ยท 8 years ago