This file is part of the pico_sdk lib/tinyusb/hw/bsp/board.h . Be aware that you need to recursively get all of the get submodules of the sdk.
This app is coded according to the sdk rules. I just verified that it builds without error or warning using the sdk version 1.40
Please refer to this guide.
dirtyjtag.c:7:10