Pin numbers updated according to https://wiki.radxa.com/Rockpi4/hardware/gpio
Not sure about ADC_IN0 because the Radxa wiki does not mention anything about the pin number there.
Most pins except for 2 were tested using a LED and are confirmed to work with this mapping.
from adafruit_blinka.microcontroller.generic_linux.sysfs_pin import Pin
-GPIO1_A1 = Pin(33)
-GPIO1_A4 = Pin(36)
GPIO1_A7 = Pin(39)
GPIO1_B0 = Pin(40)
GPIO1_B1 = Pin(41)
GPIO1_B2 = Pin(42)
-GPIO1_C4 = Pin(52)
GPIO2_A0 = Pin(64)
GPIO2_A1 = Pin(65)
GPIO2_A7 = Pin(71)
GPIO2_B2 = Pin(74)
GPIO2_B3 = Pin(75)
GPIO2_B4 = Pin(76)
-GPIO2_D3 = Pin(91)
-GPIO2_D4 = Pin(92)
GPIO3_C0 = Pin(112)
+GPIO4_A3 = Pin(131)
+GPIO4_A4 = Pin(132)
GPIO4_A5 = Pin(133)
+GPIO4_A6 = Pin(134)
+GPIO4_A7 = Pin(135)
GPIO4_C2 = Pin(146)
GPIO4_C3 = Pin(147)
GPIO4_C4 = Pin(148)