cyw43_driver: explicitly init clock pin?

Looking at https://github.com/raspberrypi/pico-sdk/blob/develop/src/rp2_common/cyw43_driver/cyw43_bus_pio_spi.c#L194, should this function also have a `gpio_set_function(CLOCK_PIN, bus_data->pio_func_sel);`?
Because the clock pin is shared with adc, so could have been left in that adc config. (i just tripped over that right now)