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