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