/* Converts a UINT32 from host byte order to network byte order. Then copy it to the byte stream. */
VOID EFIAPI NetPutUint32(IN OUT UINT8 *Buf, IN UINT32 Data)
/* Converts a UINT32 from host byte order to network byte order. Then copy it to the byte stream. */
VOID EFIAPI NetPutUint32(IN OUT UINT8 *Buf, IN UINT32 Data)
{
  ASSERT (Buf != NULL);
  Data = HTONL (Data);
  CopyMem (Buf, &Data, sizeof (UINT32));
}