Webster's Revised Unabridged Dictionary · 1913

Battlemented

Battlemented (-ment*ed) , adjective

Having battlements.
A battlemented portal. — Sir W. Scott