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