GPIO_TX_SET       128 drivers/gpio/gpio-thunderx.c 		(bank * GPIO_2ND_BANK) + (value ? GPIO_TX_SET : GPIO_TX_CLR);
GPIO_TX_SET       187 drivers/gpio/gpio-thunderx.c 	void __iomem *reg = txgpio->register_base + (bank * GPIO_2ND_BANK) + GPIO_TX_SET;
GPIO_TX_SET       281 drivers/gpio/gpio-thunderx.c 		writeq(set_bits, txgpio->register_base + (bank * GPIO_2ND_BANK) + GPIO_TX_SET);