1. e9ec3ce Move private APIs in gic_common.h to a private header by Soby Mathew · 10 years ago
  2. 38a7861 Fix GIC_IPRIORITYR setting in new drivers by Soby Mathew · 10 years ago
  3. a91e12f Fix race in GIC IPRIORITY and ITARGET accessors by Soby Mathew · 10 years ago
  4. 464ce2b Add ARM GICv2 driver by Soby Mathew · 10 years ago