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