| Benchmark | Cycles | (1) |
| Interrupt Latency | 88 | |
| Hwi_restore() | 15 | |
| Hwi_disable() | 1 | |
| Hwi dispatcher prolog | 101 | |
| Hwi dispatcher epilog | 112 | |
| Hwi dispatcher() | 236 | |
| Hardware Interrupt to Blocked Task | 558 | |
| Hardware Interrupt to Software Interrupt | 381 | |
| Swi_enable() | 91 | |
| Swi_disable() | 37 | |
| Post Software Interrupt Again | 65 | |
| Post Software Interrupt without Context Switch | 196 | |
| Post Software Interrupt with Context Switch | 371 | |
| Create a New Task without Context Switch | 3705 | |
| Set a Task Priority without a Context Switch | 254 | |
| Task_yield | 334 | |
| Post Semaphore, No Waiting Task | 102 | |
| Post Semaphore No Task Switch | 299 | |
| Post Semaphore with Task Switch | 410 | |
| Pend on Semaphore, No Context Switch | 141 | |
| Pend on Semaphore with Task Switch | 450 | |
| Clock_getTicks | 68 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "-vmspx --near_data=none --code_model=large --data_model=restricted -q --advice:power=1 --program_level_compile -o3".
Timings were obtained using the expMSP4305438 board.