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