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