/plat/qemu/aarch32/
../
plat_helpers.S