Is there an adapter to convert a mini-displayport cable to HDMI?

I am trying to use a KVM switch to share an Apple Cinema Display between a MacBook Pro and a non-Apple laptop for work. The non-Apple laptop has an HDMI display port, and the KVM switch has HDMI ports for both input and output. I've located the proper adapter to convert the HDMI cable to mini-displayport to connect the HDMI cable from the KVM switch to my MacBook, but I can't find one to connect the mini-displayport cable from the monitor to the KVM switch.

Is there an adapter that converts a male mini-displayport connector to a male HDMI connector?