Searched refs:TcpGetMaxSndNxt (Results 1 - 6 of 6) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/Network/Tcp4Dxe/
H A DTcp4Dispatcher.c644 Tcb->SndPsh = TcpGetMaxSndNxt (Tcb) + GET_SND_DATASIZE (Tcb->Sk);
650 Tcb->SndUp = TcpGetMaxSndNxt (Tcb) + GET_SND_DATASIZE (Tcb->Sk) - 1;
H A DTcp4Func.h416 TcpGetMaxSndNxt (
H A DTcp4Output.c151 TcpGetMaxSndNxt ( function
221 TCP_SUB_SEQ (TcpGetMaxSndNxt (Tcb), Tcb->SndNxt);
635 if ((Len != 0) && TCP_SEQ_LT (Seq, TcpGetMaxSndNxt (Tcb))) {
803 if ((TcpGetMaxSndNxt (Tcb) == Tcb->SndNxt) &&
/vbox/src/VBox/Devices/EFI/Firmware/NetworkPkg/TcpDxe/
H A DTcpFunc.h358 TcpGetMaxSndNxt (
H A DTcpOutput.c147 TcpGetMaxSndNxt ( function
215 Left = GET_SND_DATASIZE (Sk) + TCP_SUB_SEQ (TcpGetMaxSndNxt (Tcb), Tcb->SndNxt);
629 if ((Len != 0) && TCP_SEQ_LT (Seq, TcpGetMaxSndNxt (Tcb))) {
845 if ((TcpGetMaxSndNxt (Tcb) == Tcb->SndNxt) &&
H A DTcpDispatcher.c791 Tcb->SndPsh = TcpGetMaxSndNxt (Tcb) + GET_SND_DATASIZE (Tcb->Sk);
797 Tcb->SndUp = TcpGetMaxSndNxt (Tcb) + GET_SND_DATASIZE (Tcb->Sk) - 1;

Completed in 49 milliseconds