xref: /optee_os/core/arch/arm/plat-d06/main.c (revision fedadb6460b1ea7db709c6f5a0572f5a8cb8e5c9)