/* T3 GPIO bits */