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