Does anyone happen to know what the R4Kc anc R5KC use for the company ID of the PrID register (bits 23-16)? I'm assuming it's 1, which is reserved for MTI, but bits 15-8 seem to be carefully chosen not to conflict with previous processors in the non-MIPS32/MIPS64 PRiD space. I'm trying to not break detection of those processors in cpu_probe()... -Justin
