Is there any documentation on functions supported by the ARM compiler similar to that available for AVR-LIBC? I'm looking for information specific to implementing short time delays - a few clock cycles.