TSC_IOGxCR is actually a 32 bit register, of which 13 bits are used (rest are reserved). Also, added x-1 since G0 is not a valid group, TSC_IOGCSR_GxE(1) is supposed to be at 0x34, not 0x38.