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