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