100644 blob 1d58ef968177feb1dc894247ab10cf805c08c6bd	bl31.h
100644 blob 7cd7b6a1c8be08924ae462871eff7db872870a3c	ea_handle.h
100644 blob 63943a926aaf82f5646a2cd1429926ce9b70d092	ehf.h
100644 blob 21af112a041e1c60fa3f94ef958b2141bf2aafde	interrupt_mgmt.h
100644 blob 1ac4f98c7d678cea080ce0b12d5160688a604124	sync_handle.h