nr_context_switches
nr_context_switches(),
extern unsigned long long nr_context_switches(void);
WARN_ON(nr_context_switches() > 0);