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