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