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