|
Lines 543-549
configtimer(int start)
Link Here
|
| 543 |
(cpu == curcpu) ? 0 : ( start ? 1 : 2)); |
543 |
(cpu == curcpu) ? 0 : ( start ? 1 : 2)); |
| 544 |
} |
544 |
} |
| 545 |
/* Broadcast reconfigure IPI. */ |
545 |
/* Broadcast reconfigure IPI. */ |
| 546 |
ipi_all_but_self(IPI_HARDCLOCK); |
546 |
if (mp_ncpus > 1) |
|
|
547 |
ipi_all_but_self(IPI_HARDCLOCK); |
| 547 |
/* Wait for reconfiguration completed. */ |
548 |
/* Wait for reconfiguration completed. */ |
| 548 |
restart: |
549 |
restart: |
| 549 |
cpu_spinwait(); |
550 |
cpu_spinwait(); |