| 329 | |
| 330 | #ifndef PLATFORM |
| 331 | void |
| 332 | DELAY(int usec) |
| 333 | { |
| 334 | uint32_t val; |
| 335 | |
| 336 | if (!timers_initialized) { |
| 337 | for (; usec > 0; usec--) |
| 338 | for (val = 100; val > 0; val--) |
| 339 | __asm __volatile("nop" ::: "memory"); |
| 340 | } else { |
| 341 | TSENTER(); |
| 342 | mv_delay(usec, NULL); |
| 343 | TSEXIT(); |
| 344 | } |
| 345 | } |
| 346 | #endif |
| 347 | |
| 348 | static uint32_t |
no test coverage detected