/* Sets bits in the data register of the GPIO pin bank. 
Sets bits in the data register of the current GPIO pin bank as a read-modify-write operation. All bits set in the bit mask provided by the caller are OR'ed into the current data word of the bank. This operation has no effect on the values associated with pins configured as inputs. */
static int gpio_xlnx_ps_bank_set_bits(const struct device *dev, gpio_port_pins_t pins)
/* Sets bits in the data register of the GPIO pin bank. 
Sets bits in the data register of the current GPIO pin bank as a read-modify-write operation. All bits set in the bit mask provided by the caller are OR'ed into the current data word of the bank. This operation has no effect on the values associated with pins configured as inputs. */
static int gpio_xlnx_ps_bank_set_bits(const struct device *dev, gpio_port_pins_t pins)
{
	const struct gpio_xlnx_ps_bank_dev_cfg *dev_conf = dev->config;
	uint32_t bank_data;
	bank_data = sys_read32(GPIO_XLNX_PS_BANK_DATA_REG);
	bank_data |= pins;
	sys_write32(bank_data, GPIO_XLNX_PS_BANK_DATA_REG);
	return 0;
}