old_guestctl1     394 arch/mips/kvm/tlb.c 	unsigned long old_entryhi, old_pagemask, old_guestctl1;
old_guestctl1     406 arch/mips/kvm/tlb.c 	old_guestctl1 = read_c0_guestctl1();
old_guestctl1     433 arch/mips/kvm/tlb.c 	write_c0_guestctl1(old_guestctl1);