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