With a few changes which I've just committed, now the tree is consistent: - kpreempt_{disable,enable}(): "I don't want to enter scheduler!" - KPREEMPT_{DISABLE,ENABLE}(): "I've entered scheduler!"