| 412 | |
| 413 | #ifdef SMP |
| 414 | static void |
| 415 | cpu_reset_proxy(void) |
| 416 | { |
| 417 | |
| 418 | cpu_reset_proxy_active = 1; |
| 419 | while (cpu_reset_proxy_active == 1) |
| 420 | ia32_pause(); /* Wait for other cpu to see that we've started */ |
| 421 | |
| 422 | printf("cpu_reset_proxy: Stopped CPU %d\n", cpu_reset_proxyid); |
| 423 | DELAY(1000000); |
| 424 | cpu_reset_real(); |
| 425 | } |
| 426 | #endif |
| 427 | |
| 428 | void |
nothing calls this directly
no test coverage detected