pub const DEFAULT_ACPI_POWER_BUTTON_IRQ_X64: u32 = 10;
Default IOAPIC interrupt for the ACPI power button on x86_64.