[GIT PULL] tee driver misc for v4.17

[Jens Wiklander]

Hello arm-soc maintainers,

Please pull these tee driver changes. This fixes a a problem with
determining the max device id value for the privileged device. This is
only a problem if there's more than 16 tee devices registered. There's
also added support to report OP-TEE revision information.

The bugfix isn't urgent so I'm aiming for the next merge window.

Thanks,
Jens

The following changes since commit 661e50bc853209e41a5c14a290ca4decc43cbfd1:

  Linux 4.16-rc4 (2018-03-04 14:54:11 -0800)

are available in the git repository at:

  https://git.linaro.org:/people/jens.wiklander/linux-tee.git
tags/tee-drv-misc-for-v4.17

for you to fetch changes up to 5c5f80307ab27c53b56569245a0b12f4e3b577de:

  tee: optee: report OP-TEE revision information (2018-03-06 11:03:55 +0100)

----------------------------------------------------------------
Small fix and report OP-TEE revision information

* Adds one small fix correct max value of privileged device id allocation,
  this is only needed if there's more than TEE_NUM_DEVICES / 2 (16) tee
  drivers registered. One or two is a normal value.
* Reports OP-TEE revision information (major, minro version and build id
  if available)

----------------------------------------------------------------
JÃrÃme Forissier (2):
      tee: optee: GET_OS_REVISION: document a2 as a build identifier
      tee: optee: report OP-TEE revision information

Peng Fan (1):
      tee: correct max value for id allocation

 drivers/tee/optee/core.c      | 23 +++++++++++++++++++++++
 drivers/tee/optee/optee_smc.h | 10 +++++++++-
 drivers/tee/tee_core.c        | 14 +++++++++-----
 3 files changed, 41 insertions(+), 6 deletions(-)