[PATCH RT] rt, nohz_full: fix nohz_full for PREEMPT_RT_FULL

From: Steven Rostedt
Date: Tue May 19 2015 - 22:56:30 EST


I'm adding this patch to the next 3.14-rt release.

-- Steve