On 14/06/17 06:56, Andy Lutomirski wrote: > We can use PCID if the CPU has PCID and PGE and we're not on Xen. > > By itself, this has no effect. The next patch will start using > PCID. > > Cc: Juergen Gross <[email protected]> > Cc: Boris Ostrovsky <[email protected]> > Signed-off-by: Andy Lutomirski <[email protected]>
Reviewed-by: Juergen Gross <[email protected]> Thanks, Juergen
