--- zzzz-none-000/linux-4.9.231/include/linux/gpio/consumer.h	2020-07-22 07:10:54.000000000 +0000
+++ falcon-5530-730/linux-4.9.231/include/linux/gpio/consumer.h	2022-08-31 08:19:49.000000000 +0000
@@ -92,6 +92,8 @@
 void devm_gpiod_put(struct device *dev, struct gpio_desc *desc);
 void devm_gpiod_put_array(struct device *dev, struct gpio_descs *descs);
 
+void __iomem *gpiod_avm_get_inputreg_and_bit(struct gpio_desc *desc, int *bit);
+
 int gpiod_get_direction(struct gpio_desc *desc);
 int gpiod_direction_input(struct gpio_desc *desc);
 int gpiod_direction_output(struct gpio_desc *desc, int value);
@@ -268,6 +270,12 @@
 }
 
 
+static inline void __iomem *gpiod_avm_get_inputreg_and_bit(struct gpio_desc *desc, int *bit) {
+	/* GPIO can never have been requested */
+	WARN_ON(1);
+	return -ENOSYS;
+}
+
 static inline int gpiod_get_direction(const struct gpio_desc *desc)
 {
 	/* GPIO can never have been requested */