What is a Dinosaur's cheek called?

Crocodiles have a similar muscle in the back of their mouth that can be seen when the mouth is open, but I can't find what it's called. Help please?