GPIO_TCR
reg_tcr = gpio_read(sc, GPIO_TCR);
gpio_set(sc, GPIO_TCR, pin_mask);
gpio_clear(sc, GPIO_TCR, pin_mask);