MIPS64 Registration Definition Files:
MIPS 5Kc
