Constant TOSHIBA_ACPI_SCI 

pub const TOSHIBA_ACPI_SCI: u32 = 3222828177;