See [here](https://github.com/raspberrypi/pico-sdk/blob/ee68c78d0afae2b69c03ae1a72bf5cc267a2d94c/src/rp2_common/hardware_watchdog/include/hardware/watchdog.h#L123C1-L133C47) The docs for the `watchdog_get_time_remaining_ms` function say it gives the time remaining in microseconds, while it should be microseconds.