Constant IPI_WATCHDOG_TIMEOUT 

pub const IPI_WATCHDOG_TIMEOUT: BUGCHECK_ERROR;