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