100644 blob 7c35922c3c0243d06479082dcb2749f3815ed4f2	bl31.h
100644 blob 060c9b7f0b86cde358b4766a50f5e23cbaf48b61	ea_handle.h
100644 blob f35d8100287dd237891ed590ccb6b5304ab9451b	ehf.h
100644 blob 0cdbda02ba48122baba7c82a752196e58f7e1f17	interrupt_mgmt.h