tree: 30a8ae88cfcd61a0bcb805d69a80ac16a63f6ed7 [path history] [tgz]
  1. bl31.h
  2. interrupt_mgmt.h