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