NPI_TXC_CHANNEL_INVALID
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(tdc));
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(channel));
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(channel));
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(channel));
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(channel));
return (NPI_FAILURE | NPI_TXC_CHANNEL_INVALID(channel));