read_gc0_segctl0
*v = read_gc0_segctl0();
segctl = read_gc0_segctl0() >> 16;
segctl = read_gc0_segctl0();