MIPS_GCTL1_ID
write_c0_guestctl1(MIPS_GCTL1_ID);
c->guestid_mask = (read_c0_guestctl1() & MIPS_GCTL1_ID)
((guestctl1 & MIPS_GCTL1_ID) >> MIPS_GCTL1_ID_SHIFT)