MIPS_GCTL0_AT_SHIFT
#define MIPS_GCTL0_AT (_ULCAST_(0x3) << MIPS_GCTL0_AT_SHIFT)
(MIPS_GCTL0_AT_GUEST << MIPS_GCTL0_AT_SHIFT) |