read_gc0_segctl0  745 arch/mips/kvm/vz.c 				segctl = read_gc0_segctl0() >> 16;
read_gc0_segctl0  749 arch/mips/kvm/vz.c 				segctl = read_gc0_segctl0();
read_gc0_segctl0 1868 arch/mips/kvm/vz.c 		*v = read_gc0_segctl0();