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