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