H1_A45_AUTHENTICATED
current_state(hdcp) == H1_A45_AUTHENTICATED ||
case H1_A45_AUTHENTICATED:
set_state_id(hdcp, output, H1_A45_AUTHENTICATED);
set_state_id(hdcp, output, H1_A45_AUTHENTICATED);
case H1_A45_AUTHENTICATED:
case H1_A45_AUTHENTICATED: