<dec f='src/src/sys/arch/x86/include/cpufunc.h' l='76' type='void x86_hlt()'/>
<use f='src/src/sys/arch/amd64/amd64/machdep.c' l='710' u='c' c='cpu_reboot'/>
<use f='src/src/sys/arch/x86/acpi/acpi_wakeup.c' l='212' u='c' c='acpi_md_sleep_enter'/>
<use f='src/src/sys/arch/x86/acpi/acpi_wakeup.c' l='246' u='c' c='acpi_md_sleep_enter'/>
<use f='src/src/sys/arch/x86/x86/ipi.c' l='171' u='c' c='x86_ipi_halt'/>
