pub const IPI_WATCHDOG_TIMEOUT: BUGCHECK_ERROR = 475u32;