s_guestctl1        79 arch/mips/lib/dump_tlb.c 	unsigned int s_index, s_pagemask, s_guestctl1 = 0;
s_guestctl1       104 arch/mips/lib/dump_tlb.c 		s_guestctl1 = read_c0_guestctl1();
s_guestctl1       194 arch/mips/lib/dump_tlb.c 		write_c0_guestctl1(s_guestctl1);