H1_A0_WAIT_FOR_ACTIVE_RX
set_state_id(hdcp, output, H1_A0_WAIT_FOR_ACTIVE_RX);
case H1_A0_WAIT_FOR_ACTIVE_RX: