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