[GIT PULL] softirq: Consolidate and optimize softirq mask v4

From: Frederic Weisbecker
Date: Tue May 08 2018 - 09:47:05 EST


The actual subject is "softirq: Consolidate and optimize softirq mask v4" :-)

Sorry...