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