/include/bl31/
../
bl31.h
ea_handle.h
ehf.h
interrupt_mgmt.h