MIPS_GCTL1_ID    1235 arch/mips/kernel/cpu-probe.c 		write_c0_guestctl1(MIPS_GCTL1_ID);
MIPS_GCTL1_ID    1237 arch/mips/kernel/cpu-probe.c 		c->guestid_mask = (read_c0_guestctl1() & MIPS_GCTL1_ID)
MIPS_GCTL1_ID     244 arch/mips/kvm/tlb.c 			((guestctl1 & MIPS_GCTL1_ID) >> MIPS_GCTL1_ID_SHIFT)