On Tue, May 10, 2016 at 11:02:09AM +0100, James Hogan wrote: > On Fri, Apr 29, 2016 at 02:46:00PM +0100, James Hogan wrote: > > MIPS64r2 and later cores may optionally have a 64-bit CP0_EBase > > register, with a write gate (WG) bit to allow the upper half to be > > written. The presence of this feature will need to be known about for VZ > > support in order to correctly save and restore the guest CP0_EBase > > register, so add CPU feature definitions and probing for this > > capability. > > Okay, so it turns out EBase.WG can be present on MIPS32 too, to allow > writing of bits 31:30 (thanks Matt!), so this needs a little more > thought. So drop the series for now or do you want to patch it up later? Ralf
