HDCP_INITIALIZED
set_state_id(hdcp, output, HDCP_INITIALIZED);
set_state_id(hdcp, output, HDCP_INITIALIZED);
set_state_id(hdcp, output, HDCP_INITIALIZED);
if (current_state(hdcp) != HDCP_INITIALIZED)
set_state_id(hdcp, output, HDCP_INITIALIZED);
set_state_id(hdcp, output, HDCP_INITIALIZED);
set_state_id(hdcp, output, HDCP_INITIALIZED);
case HDCP_INITIALIZED: