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