tree c3971c615319d62cfc450866d81f502c66e7137e
parent 1017a6ec6bc0498f5b32f4946839043b70c4cc8c
author Jens Wiklander <jens.wiklander@linaro.org> 1503573382 +0200
committer Jens Wiklander <jens.wiklander@linaro.org> 1503583220 +0200

opteed: pass device tree pointer in x2

Pass device tree pointer to OP-TEE in x2. bl2 is expected to fill in the
device tree pointer in args.arg3. Passing 0 means that device tree is
unavailable.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>