The code is right there. You can go look and see if your guess is right.
You can tell that I'm skeptical. Kernel code tends to be pretty tight.