| 243 | } |
| 244 | |
| 245 | void |
| 246 | cpu_idle(int busy) |
| 247 | { |
| 248 | |
| 249 | CTR2(KTR_SPARE2, "cpu_idle(%d) at %d", busy, curcpu); |
| 250 | spinlock_enter(); |
| 251 | if (!busy) |
| 252 | cpu_idleclock(); |
| 253 | if (!sched_runnable()) |
| 254 | cpu_sleep(0); |
| 255 | if (!busy) |
| 256 | cpu_activeclock(); |
| 257 | spinlock_exit(); |
| 258 | CTR2(KTR_SPARE2, "cpu_idle(%d) at %d done", busy, curcpu); |
| 259 | } |
| 260 | |
| 261 | int |
| 262 | cpu_idle_wakeup(int cpu) |
no test coverage detected