jugum petrosum

Noun

 * 1)  An arched elevation on the anterior surface of the petrous portion of the temporal bone over the superior semicircular canal.