read_c0_guestctl0
guestctl0 = read_c0_guestctl0();
temp = read_c0_guestctl0();
gctl0 = read_c0_guestctl0();