Tykyo

That's because the Arduino framework use MBED library precompiled with #define PICO_TIME_DEFAULT_ALARM_POOL_DISABLED=1 So the function doesn't exist in the library and you can't link it.