diff for duplicates of <56496912.4090001@windriver.com> diff --git a/a/1.txt b/N1/1.txt index b2de388..6361b08 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -82,8 +82,3 @@ On 2015年11月15日 19:05, Thomas Gleixner wrote: > > if (time_after_eq(jiffies, base->timer_jiffies)) > __run_timers(base); - --- -To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in -the body of a message to majordomo@vger.kernel.org -More majordomo info at http://vger.kernel.org/majordomo-info.html diff --git a/a/content_digest b/N1/content_digest index 7947dfa..02dba84 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -102,11 +102,6 @@ "> +\tirq_work_tick_soft();\n" "> \n" "> \tif (time_after_eq(jiffies, base->timer_jiffies))\n" - "> \t\t__run_timers(base);\n" - "\n" - "--\n" - "To unsubscribe from this list: send the line \"unsubscribe linux-rt-users\" in\n" - "the body of a message to majordomo@vger.kernel.org\n" - More majordomo info at http://vger.kernel.org/majordomo-info.html + "> \t\t__run_timers(base);" -4242bac730200d43d6d90e4541408ad747b242771689022c92598a20a6414a34 +d19f08b74fc06ad05f79c428930e103be9ece240c75efbb91513957b4aabb55f
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.