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