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>
1 parent ccdbae7 commit 19911aa6feda9f10998de44d8853ecd28417f45d
@Jens Wiklander Jens Wiklander authored on 24 Aug 2017
Showing 4 changed files
View
services/spd/opteed/opteed_common.c
View
services/spd/opteed/opteed_main.c
View
services/spd/opteed/opteed_pm.c
View
services/spd/opteed/opteed_private.h