Aulacocephalodon

Aulacephalodon is a genus of dicynodont from the Permian of South Africa and Zambia. Two species have been named, the type species A. baini and a second species A. peavoti. It is unclear whether A. peavoti belongs to the genus.