| commit | 7dd003aec2016e90d33f25f90ad4cebb12224a8a | [log] [tgz] |
|---|---|---|
| author | Peng Fan <peng.fan@nxp.com> | Mon Jan 15 17:27:35 2018 +0800 |
| committer | Jens Wiklander <jens.wiklander@linaro.org> | Tue Mar 06 11:03:55 2018 +0100 |
| tree | 7792a4ca10be36ad1b288d4568e4e7ec9063b855 | |
| parent | 661e50bc853209e41a5c14a290ca4decc43cbfd1 [diff] |
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>