Searched refs:dhcpFIRST_OPTION_BYTE_OFFSET (Results 1 – 4 of 4) sorted by relevance
1432 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET ] ), pucOptionsArray, *pxOpt… in prvCreatePartDHCPMessage()1440 … pucPtr = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + ( *pxOptionsArraySize - 1U ) ] ); in prvCreatePartDHCPMessage()1463 …( void ) memcpy( &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpCLIENT_IDENTIFIER_OFFS… in prvCreatePartDHCPMessage()1523 …pvCopyDest = &pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpREQUESTED_IP_ADDRESS_OFFSET … in prvSendDHCPRequest()1528 …pvCopyDest = &pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpDHCP_SERVER_IP_ADDRESS_OFFSE… in prvSendDHCPRequest()1597 …pvCopyDest = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpREQUESTED_IP_ADDRESS_OFFSE… in prvSendDHCPDiscover()1607 …pvCopySource = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpOPTION_50_OFFSET + dhcpO… in prvSendDHCPDiscover()1608 … pvCopyDest = &( pucUDPPayloadBuffer[ dhcpFIRST_OPTION_BYTE_OFFSET + dhcpOPTION_50_OFFSET ] ); in prvSendDHCPDiscover()
117 …__CPROVER_assume( ( xRequestedSizeBytes > ( dhcpFIRST_OPTION_BYTE_OFFSET + sizeof( MACAddress_t ) … in pxGetNetworkBufferWithDescriptor()
121 …__CPROVER_assume( xRequestedSizeBytes > ( dhcpFIRST_OPTION_BYTE_OFFSET + sizeof( MACAddress_t ) + … in pxGetNetworkBufferWithDescriptor()
123 #define dhcpFIRST_OPTION_BYTE_OFFSET ( 0xf0U ) macro
