/* Reads the current bit mask of the entire GPIO pin bank. 
Reads the current bit mask of the entire bank from the read-only data register. This includes the current values of not just all input pins, but both the input and output pins within the bank. */
static int gpio_xlnx_ps_bank_get(const struct device *dev, gpio_port_value_t *value)
/* Reads the current bit mask of the entire GPIO pin bank. 
Reads the current bit mask of the entire bank from the read-only data register. This includes the current values of not just all input pins, but both the input and output pins within the bank. */
static int gpio_xlnx_ps_bank_get(const struct device *dev, gpio_port_value_t *value)
{
	const struct gpio_xlnx_ps_bank_dev_cfg *dev_conf = dev->config;
	*value = sys_read32(GPIO_XLNX_PS_BANK_DATA_REG);
	return 0;
}