I think it was more than a cramp. I think he tweaked his knee. Hopefully nothing serious, and we see him playing again in the 2nd half.
Now the Oklahoma player who got carted away, that was a bad injury. His foot was turned 90 degrees sideways from where it should've been. His season is over. Feel for the lad.
John will be okay, especially by comparison.
Go Vols!