Cavernous malformation of the trigeminal nerve.