29c29
< __FBSDID("$FreeBSD: head/sys/dev/acpica/acpi_cpu.c 133616 2004-08-13 06:21:47Z njl $");
---
> __FBSDID("$FreeBSD: head/sys/dev/acpica/acpi_cpu.c 136366 2004-10-11 05:39:15Z njl $");
46,48d45
< #ifdef __ia64__
< #include <machine/pal.h>
< #endif
158d154
< static void acpi_cpu_c1(void);
921,931d916
< /* Put the CPU in C1 in a machine-dependant way. */
< static void
< acpi_cpu_c1()
< {
< #ifdef __ia64__
< ia64_call_pal_static(PAL_HALT_LIGHT, 0, 0, 0);
< #else
< __asm __volatile("sti; hlt");
< #endif
< }
<