| 677 | } |
| 678 | |
| 679 | void |
| 680 | cpu_idle(int busy) |
| 681 | { |
| 682 | |
| 683 | spinlock_enter(); |
| 684 | if (!busy) |
| 685 | cpu_idleclock(); |
| 686 | if (!sched_runnable()) |
| 687 | __asm __volatile( |
| 688 | "dsb sy \n" |
| 689 | "wfi \n"); |
| 690 | if (!busy) |
| 691 | cpu_activeclock(); |
| 692 | spinlock_exit(); |
| 693 | } |
| 694 | |
| 695 | void |
| 696 | cpu_halt(void) |
nothing calls this directly
no test coverage detected