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