| Benchmark | Cycles | (1) |
| Interrupt latency | 115 | (2) |
| Hwi_enable | 1 | |
| Hwi_disable | 6 | |
| Hwi dispatcher prolog | 113 | |
| Hwi dispatcher epilog | 211 | |
| Hwi dispatcher | 317 | |
| Hardware Interrupt to Blocked Task | 499 | |
| Hardware Interrupt to Software Interrupt | 318 | |
| Swi_enable | 60 | |
| Swi_disable | 13 | |
| Post Software Interrupt Again | 30 | |
| Post Software Interrupt without Context Switch | 97 | |
| Post Software Interrupt with Context Switch | 158 | |
| Create a New Task without Context Switch | 1629 | |
| Set a Task Priority without a Context Switch | 166 | |
| Task_yield | 194 | |
| Post Semaphore, No Waiting Task | 46 | |
| Post Semaphore No Task Switch | 162 | |
| Post Semaphore with Task Switch | 247 | |
| Pend on Semaphore, No Context Switch | 58 | |
| Pend on Semaphore with Task Switch | 236 | |
| Clock_getTicks | 8 | |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "--endian=little -mv7M4 --abi=eabi --float_support=fpv4spd16 -ms --opt_for_speed=2 --program_level_compile -o3".
Timings were obtained using the Stellaris Launchpad LM4F120 board running at 40MHz.
(2) The M4F target also supports zero latency interrupts. See ti.sysbios.family.arm.m3.Hwi cdocs for details.