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