/services/std_svc/spmd/aarch64/

• ../
• spmd_helpers.S