| Benchmark | Cycles | (1) |
| Interrupt Latency | 64 | |
| Hwi_restore() | 5 | |
| Hwi_disable() | 3 | |
| Hwi dispatcher prolog | 78 | |
| Hwi dispatcher epilog | 84 | |
| Hwi dispatcher | 174 | |
| Hardware Interrupt to Blocked Task | 430 | |
| Hardware Interrupt to Software Interrupt | 283 | |
| Swi_enable() | 59 | |
| Swi_disable() | 14 | |
| Post Software Interrupt Again | 31 | |
| Post Software Interrupt without Context Switch | 123 | |
| Post Software Interrupt with Context Switch | 261 | |
| Create a New Task without Context Switch | 2415 | |
| Set a Task Priority without a Context Switch | 179 | |
| Task_yield() | 235 | |
| Post Semaphore, No Waiting Task | 43 | |
| Post Semaphore No Task Switch | 191 | |
| Post Semaphore with Task Switch | 280 | |
| Pend on Semaphore, No Context Switch | 63 | |
| Pend on Semaphore with Task Switch | 306 | |
| Clock_getTicks() | 14 |
(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings: "-vmspx --code_model=small --data_model=small -q --advice:power=1 --program_level_compile -o3".
Timings were obtained using the expMSP4305438 board.