read_c0_guestctl1
c->guestid_mask = (read_c0_guestctl1() & MIPS_GCTL1_ID)
guestctl1 = read_c0_guestctl1();
old_guestctl1 = read_c0_guestctl1();
if (!(read_c0_guestctl1() & MIPS_GCTL1_RID))
guestctl1 = read_c0_guestctl1();
(read_c0_guestctl1() ^ guestctl1) & MIPS_GCTL1_RID) {
guestctl1 = read_c0_guestctl1();
pr_info("GuestCtl1: %0x\n", read_c0_guestctl1());
s_guestctl1 = read_c0_guestctl1();