On Sat, May 06 2017 at 4:24:32 pm BST, Eric Auger <[email protected]> wrote: > On MAPD we currently check the device id can be stored in the device table. > Let's first check it can be encoded within the range defined by TYPER > DEVBITS. > > Also check the collection ID belongs to the 16 bit range as GITS_TYPER > CIL field equals to 0. > > Signed-off-by: Eric Auger <[email protected]> > Reviewed-by: Christoffer Dall <[email protected]>
Reviewed-by: Marc Zyngier <[email protected]> M. -- Jazz is not dead, it just smell funny. _______________________________________________ kvmarm mailing list [email protected] https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
