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