that means doing this  given the values of state bak and state sp hdmi mute video anx  xx  true sp video mute anx  xx  true useless as they are set to true only in state video output  and then this sp hdcp state hdcp capable check sp tx lt state lt init sp tx vo state vo wait video stable reset audio stable counter sp audio stable count all useless  except of course setting tx lt state to lt init  which is done below anyway  drop these statements 