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