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