| Benchmark | Cycles | (1) |
| Interrupt Latency | 966 | |
| Hwi_restore() | 23 | |
| Hwi_disable() | 35 | |
| Hwi dispatcher prolog | 568 | |
| Hwi dispatcher epilog | 251 | |
| Hwi dispatcher() | 812 | |
| Hardware Interrupt to Blocked Task | 1172 | |
| Hardware Interrupt to Software Interrupt | 840 | |
| Swi_enable() | 162 | |
| Swi_disable() | 7 | |
| Post Software Interrupt Again | 69 | |
| Post Software Interrupt without Context Switch | 175 | |
| Post Software Interrupt with Context Switch | 262 | |
| Create a New Task without Context Switch | 2055 | |
| Set a Task Priority without a Context Switch | 240 | |
| Task_yield | 395 | |
| Post Semaphore, No Waiting Task | 86 | |
| Post Semaphore No Task Switch | 347 | |
| Post Semaphore with Task Switch | 467 | |
| Pend on Semaphore, No Context Switch | 81 | |
| Pend on Semaphore with Task Switch | 440 | |
| Clock_getTicks | 4 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following compiler options:
"-mcpu=cortex-a8 -mfpu=neon -mfloat-abi=hard -mabi=aapcs -O3 -Wunused -Wunknown-pragmas -ffunction-sections -fdata-sections -g -Dti_sysbios_Build_useHwiMacros -Dfar= -D__DYNAMIC_REENT__".
Timings were obtained using the evm8148 development board with the cache enabled.