IFC_DO_WATCHDOG
ctx->ifc_flags |= (IFC_DO_WATCHDOG | IFC_DO_RESET);
do_watchdog = (ctx->ifc_flags & IFC_DO_WATCHDOG);
ctx->ifc_flags &= ~(IFC_DO_RESET | IFC_DO_WATCHDOG);