Petrosal process

On either side of the dorsum sellae of the sphenoid bone is a notch for the passage of the abducent nerve, and below the notch a sharp process, the petrosal process, which articulates with the apex of the petrous portion of the temporal bone, and forms the medial boundary of the foramen lacerum.