| 192 | } |
| 193 | |
| 194 | void |
| 195 | cpu_reset(void) |
| 196 | { |
| 197 | |
| 198 | PLATFORM_CPU_RESET(plat_obj); |
| 199 | |
| 200 | printf("cpu_reset failed"); |
| 201 | |
| 202 | intr_disable(); |
| 203 | while(1) { |
| 204 | cpu_sleep(0); |
| 205 | } |
| 206 | } |
| 207 | |
| 208 | static void |
| 209 | platform_delay(int usec, void *arg __unused) |
no test coverage detected