o_index           308 arch/mips/kvm/tlb.c 	unsigned int o_index;
o_index           320 arch/mips/kvm/tlb.c 	o_index = read_gc0_index();
o_index           331 arch/mips/kvm/tlb.c 		write_gc0_index(o_index);
o_index           353 arch/mips/kvm/tlb.c 	write_gc0_index(o_index);