1. b1e957e GIC: Add API to get running priority by Jeenu Viswambharan · 7 years ago
  2. fa3cf0b Use SPDX license identifiers by dp-arm · 8 years ago
  3. 7264513 Flush the GIC driver data after init by Soby Mathew · 8 years ago
  4. 50f6fe4 Move private APIs in gic_common.h to a private header by Soby Mathew · 9 years ago
  5. 421259e Fix GIC_IPRIORITYR setting in new drivers by Soby Mathew · 9 years ago
  6. 73f9299 Fix race in GIC IPRIORITY and ITARGET accessors by Soby Mathew · 9 years ago
  7. e063d3c Add ARM GICv2 driver by Soby Mathew · 9 years ago