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

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

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

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