[MIPS] Add new virtualization instructions

[Maciej W. Rozycki]

On Thu, 13 Jun 2013, Chao-Ying Fu wrote:

> > >  Given the above how about:
> > >
> > > #define ISA_SUPPORTS_VIRT64_ASE (mips_opts.isa == ISA_MIPS64R2
> > > 				 || (mips_opts.micromips
> > > 				     && ISA_HAS_64BIT_REGS 
> > (mips_opts.isa)))
> > >
> > > ?  We'll then do the same if e.g. DSP64 is added to the microMIPS 
> > > instruction set.
> > 
> > Yeah, that'd be OK for now.  There are some "cleanups" I'd 
> > like to make
> > to the way we handle this kind of thing, but it'd be easier to do that
> > once this and the EVA patches are in.

 Yeah, things started getting hairy here, I'm glad you've volunteered to 
get them straightened out. :)

>   I just checked in the microMIPS virtualization patch that Maciej and Richard suggest.
> Cleanups can happen later.  Thanks a lot!

 Thanks for your work!

  Maciej