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