xref: /optee_os/core/arch/arm/plat-corstone1000/main.c (revision 49c6ad2a7049a54a54b0e2b657694f3264a559e4)