diff options
| author | Peng Fan <peng.fan@nxp.com> | 2018-01-15 10:27:35 +0100 |
|---|---|---|
| committer | Jens Wiklander <jens.wiklander@linaro.org> | 2018-03-06 11:03:55 +0100 |
| commit | 7dd003aec2016e90d33f25f90ad4cebb12224a8a (patch) | |
| tree | 7792a4ca10be36ad1b288d4568e4e7ec9063b855 /drivers/tee/optee | |
| parent | Linux 4.16-rc4 (diff) | |
| download | linux-7dd003aec2016e90d33f25f90ad4cebb12224a8a.tar.xz linux-7dd003aec2016e90d33f25f90ad4cebb12224a8a.zip | |
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>
Diffstat (limited to 'drivers/tee/optee')
0 files changed, 0 insertions, 0 deletions