Symbol: MPI3MR_WATCHDOG_INTERVAL