arduino-esp32/tools/sdk/include/ulp/esp32
..
ulp.h