| Benchmark | Cycles | (1) |
| Interrupt Latency | 127 | (2) |
| Hwi_restore() | 3 | |
| Hwi_disable() | 4 | |
| Hwi dispatcher prolog | 141 | |
| Hwi dispatcher epilog | 235 | |
| Hwi dispatcher | 365 | |
| Hardware Interrupt to Blocked Task | 689 | |
| Hardware Interrupt to Software Interrupt | 391 | |
| Swi_enable() | 64 | |
| Swi_disable() | 11 | |
| Post Software Interrupt Again | 30 | |
| Post Software Interrupt without Context Switch | 84 | |
| Post Software Interrupt with Context Switch | 180 | |
| Create a New Task without Context Switch | 2173 | |
| Set a Task Priority without a Context Switch | 156 | |
| Task_yield() | 295 | |
| Post Semaphore, No Waiting Task | 48 | |
| Post Semaphore No Task Switch | 245 | |
| Post Semaphore with Task Switch | 392 | |
| Pend on Semaphore, No Context Switch | 50 | |
| Pend on Semaphore with Task Switch | 402 | |
| Clock_getTicks() | 9 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings:
"-mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16 -mabi=aapcs -O3 -Wunused -Wunknown-pragmas -ffunction-sections -fdata-sections -Dti_sysbios_Build_useHwiMacros -Dfar= -D__DYNAMIC_REENT__".
Timings were obtained using the Tiva Launchpad TM4C123GH6PM board running at 40MHz.
(2) The M4F target also supports zero latency interrupts. See ti.sysbios.family.arm.m3.Hwi cdocs for details.