Some post commit remarks.
Nit: I think this should be HasMips3D.
This should include the HasMips3D predicate so that the CompleteModel check passes..
This addition looks incorrect. Looking at the MIPS32® P5600 Multiprocessing System Software User’s Manual, Revision 01.60, on page 646, it says that wired paired single is not available on the P5600.