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