MIPS_CONF4_MMUSIZEEXT_SHIFT 2735 arch/mips/kvm/vz.c 				MIPS_CONF4_MMUSIZEEXT_SHIFT;
MIPS_CONF4_MMUSIZEEXT_SHIFT 2767 arch/mips/kvm/vz.c 				MIPS_CONF4_MMUSIZEEXT_SHIFT) <<