Fix unused parameter warning.#2663

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

martinbudden:fix_unused_parameter_warningmartinbudden/pico-sdk:fix_unused_parameter_warningCopy head branch name to clipboard