fix gpio numbering for disabled controllers and align docs

Author: soburi

cores/arduino/Arduino.h

@@ -127,7 +127,11 @@
 	UTIL_CAT(UTIL_CAT(ZARD_, UTIL_CAT(DT_STRING_UPPER_TOKEN_BY_IDX(node, compatible, 0), _DIGITAL_MAP_)), num)
 
 #define ZARD_CHECK_GPIO_CTLR_OKAY(node_id)                                                         \
-        COND_CODE_1(DT_NODE_HAS_PROP(node_id, gpio_controller), (node_id,), ())
+        COND_CODE_1(DT_NODE_HAS_PROP(node_id, gpio_controller),                                    \
+	            (COND_CODE_1(DT_NODE_HAS_STATUS_OKAY(node_id),                                 \
+			 (node_id,),                                        \
+			 ())),                                                         \
+		    ())
 
 #define ZARD_ALL_OKAY_GPIO_CTLR DT_FOREACH_NODE(ZARD_CHECK_GPIO_CTLR_OKAY)
 

cores/arduino/zephyrCommon.cpp

@@ -23,7 +23,10 @@ static constexpr struct gpio_dt_spec arduino_pins[] = {DT_FOREACH_PROP_ELEM_SEP(
 
 #define GET_GPIO_NGPIOS(node_id)                                                                   \
         COND_CODE_1(DT_NODE_HAS_PROP(node_id, gpio_controller),                                    \
-	            (DT_PROP_OR(node_id, ngpios, 0),), ())
+	            (COND_CODE_1(DT_NODE_HAS_STATUS_OKAY(node_id),                                 \
+			 (DT_PROP_OR(node_id, ngpios, 0),),                                        \
+			 (0,))),                                                         \
+		    ())
 
 static constexpr const struct device *gpio_ports[] = {DT_FOREACH_NODE(GET_GPIO_DEVICES)};
 static constexpr uint32_t gpio_ngpios[] = {DT_FOREACH_NODE(GET_GPIO_NGPIOS)};

documentation/configuration-reference.md

@@ -215,7 +215,8 @@ B. Board devicetree constructs (board-provided defaults)
 - **Precedence:**
   - Lower than `/zephyr,user/adc-pin-gpios` (association)
   - Lower than `/zephyr,user/io-channels` (provisioning)
-- **Notes:** `io-channel-map`: left = connector pin id, right = target ADC controller/channel; ADC still needs per-channel config under the ADC device node.
+- **Notes:**
+  - `io-channel-map`: left = connector pin id, right = target ADC controller/channel.
   - ADC still requires per-channel configuration under the ADC device node,
     regardless of how the channel list is obtained.
 - **Example:**
@@ -353,7 +354,7 @@ B. Board devicetree constructs (board-provided defaults)
       For example, if you have gpio0, gpio1 which has 16 ports,
       then pin0 of gpio0 will be 0, pin1 will be 1, ...
       pin0 of gpio1 will be 16, pin1 will be 17, ... etc.
-    - The numbers will be counted even if the gpio device is disabled.
+    - Only GPIO controllers with `status = "okay"` are counted.
     - The order of GPIOs depends on their appearance in the device tree.
 
 ### Dx availability (`D0`, `D1`, …)