Not to my knowledge. HDMI supports audio, but doesn't usually have a sound "in" unless you have that audio pass back channel. And as you said the headphones worked so you weren't using HDMI audio but the computer audio. So unless the mic was muted on the headphones or in the sound panel it should have worked but didn't. If the mic works on other computer it must be the soundcard.