Re: [PATCH] tee: correct max value for id allocation

On Fri, Feb 23, 2018 at 3:43 AM, Peng Fan wrote: > Hi Jens, > > Any comments on this patch? > > Thanks, > Peng Sorry, forgot about this one. Looks good to me, I'll pick it up. Thanks, Jens > On Mon, Jan 15, 2018 at 05:27:35PM +0800, Peng Fan wrote: >>The privileged dev id range is [TEE_NUM_DEVI

Re: [PATCH] tee: correct max value for id allocation

Hi Jens, Any comments on this patch? Thanks, Peng On Mon, Jan 15, 2018 at 05:27:35PM +0800, Peng Fan wrote: >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 differe

[PATCH] 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 Cc: Jens Wiklander --- drivers/tee/tee_core.c | 14 +- 1 fil