tree: 262cfc695ffd46c4f1d64cc231ee7347f5d1c708 [path history] [tgz]
  1. arm_gic_common.h
  2. arm_gic_hw_interface.h