Symbol: X86_IPI_ACPI_CPU_SLEEP
sys/arch/ia64/include/intrdefs.h
93
#define X86_IPI_ACPI_CPU_SLEEP 0x00000080
sys/arch/x86/include/intrdefs.h
74
#define X86_IPI_ACPI_CPU_SLEEP 0x00000080