GCC Cortex-A9 with hard FP Timing Benchmarks

ti.platforms.sdp4430 (compiler version: 4.7.3)

Benchmark Cycles
Interrupt latency 551
Hwi_restore() 6
Hwi_disable() 8
Hwi dispatcher prolog 226
Hwi dispatcher epilog 172
Hwi dispatcher() 403
Hardware Interrupt to Blocked Task 662
Hardware Interrupt to Software Interrupt 380
Swi_enable() 69
Swi_disable() 15
Post Software Interrupt Again 26
Post Software Interrupt without Context Switch 80
Post Software Interrupt with Context Switch 150
Create a New Task without Context Switch 1335
Set a Task Priority without a Context Switch 133
Task_yield 251
Post Semaphore, No Waiting Task 39
Post Semaphore No Task Switch 199
Post Semaphore with Task Switch 314
Pend on Semaphore, No Context Switch 34
Pend on Semaphore with Task Switch 290
Clock_getTicks 7