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