Is there an optimized function for the element-wise multiplication of 2 arrays (dot product)?

The ESP32 provides one: ESP32 optimized dot product. I guess this kind of function os used in Audio processing applications.

More generally, is there somewhere an extensive description of the Teensy-specific API?

For example, I was looking for the checkStaticMemory() function (seen here) but couldn't find how to use it.

Thanks for your help.