102: Check that skb doesn't allocated in pm_runtime context
When netdev_alloc_skb (that calls __netdev_alloc_skb with GFP_ATOMIC flag) is called with obtained pm_runtime (device run-time power management) it leads to sleep in atomic context. We should avoid this.
Model 102_1a will try to fix this.
Updated by Evgeny Novikov about 10 years ago
Commit b2f601b of the master branch add a new model, 102_1a, that finds an error from our classifier (commit 431e8d4 of linux-stable branch). Unfortunately CPAchecker doesn't catch this error because of problems like described in #2706.