MIPS_CIDFL_RMI_TYPE
switch (cpu_cidflags & MIPS_CIDFL_RMI_TYPE) {
u_int type = ct->cpu_cidflags & MIPS_CIDFL_RMI_TYPE;
u_int type = ct->cpu_cidflags & MIPS_CIDFL_RMI_TYPE;
u_int type = ct->cpu_cidflags & MIPS_CIDFL_RMI_TYPE;
return ct->cpu_cidflags & MIPS_CIDFL_RMI_TYPE;