pub const PPM_FIRMWARE_ACPI1TSTATES: u32 = 4u32;