28c28
< __FBSDID("$FreeBSD: head/sys/i386/acpica/acpi_machdep.c 132619 2004-07-24 22:41:30Z njl $");
---
> __FBSDID("$FreeBSD: head/sys/i386/acpica/acpi_machdep.c 136366 2004-10-11 05:39:15Z njl $");
352a353,358
>
> void
> acpi_cpu_c1()
> {
> __asm __volatile("sti; hlt");
> }