Constant ACPI_FIRMWARE_WATCHDOG_TIMEOUT 

pub const ACPI_FIRMWARE_WATCHDOG_TIMEOUT: BUGCHECK_ERROR;