/include/bl31/
../
bl31.h
context.h
context_mgmt.h
interrupt_mgmt.h
runtime_svc.h
services