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