Searched refs:TcpPutUint32 (Results 1 - 2 of 2) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/Network/Tcp4Dxe/
H A DTcp4Option.c61 TcpPutUint32 ( function
142 TcpPutUint32 (Data, TCP_OPTION_TS_FAST);
143 TcpPutUint32 (Data + 4, mTcpTick);
144 TcpPutUint32 (Data + 8, 0);
165 TcpPutUint32 (Data, TCP_OPTION_WS_FAST | TcpComputeScale (Tcb));
175 TcpPutUint32 (Data, TCP_OPTION_MSS_FAST | Tcb->RcvMss);
217 TcpPutUint32 (Data, TCP_OPTION_TS_FAST);
218 TcpPutUint32 (Data + 4, mTcpTick);
219 TcpPutUint32 (Data + 8, Tcb->TsRecent);
/vbox/src/VBox/Devices/EFI/Firmware/NetworkPkg/TcpDxe/
H A DTcpOption.c62 TcpPutUint32 ( function
141 TcpPutUint32 (Data, TCP_OPTION_TS_FAST);
142 TcpPutUint32 (Data + 4, mTcpTick);
143 TcpPutUint32 (Data + 8, 0);
165 TcpPutUint32 (Data, TCP_OPTION_WS_FAST | TcpComputeScale (Tcb));
175 TcpPutUint32 (Data, TCP_OPTION_MSS_FAST | Tcb->RcvMss);
217 TcpPutUint32 (Data, TCP_OPTION_TS_FAST);
218 TcpPutUint32 (Data + 4, mTcpTick);
219 TcpPutUint32 (Data + 8, Tcb->TsRecent);

Completed in 43 milliseconds