Symbol: pinmux_can_be_used_for_gpio