Is this some unfortunate Copy-paste or am I missing something? Line 109 makes reference to "RP02040". https://github.com/raspberrypi/pico-sdk/blob/95ea6acad131124694cda1c162c52cd30e0aece0/src/rp2_common/hardware_adc/include/hardware/adc.h#L112