pico_defines.h only contains PICO_SUPPORT_ definitions