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