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