tee: correct max value for id allocation
authorPeng Fan <peng.fan@nxp.com>
Mon, 15 Jan 2018 09:27:35 +0000 (17:27 +0800)
committerJens Wiklander <jens.wiklander@linaro.org>
Tue, 6 Mar 2018 10:03:55 +0000 (11:03 +0100)
commit7dd003aec2016e90d33f25f90ad4cebb12224a8a
tree7792a4ca10be36ad1b288d4568e4e7ec9063b855
parent661e50bc853209e41a5c14a290ca4decc43cbfd1
tee: correct max value for id allocation

The privileged dev id range is [TEE_NUM_DEVICES / 2, TEE_NUM_DEVICES).
The non-privileged dev id range is [0, TEE_NUM_DEVICES / 2).

So when finding a slot for them, need to use different max value.

Signed-off-by: Peng Fan <peng.fan@nxp.com>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
drivers/tee/tee_core.c