Searched refs:pucPayload (Results 1 – 4 of 4) sorted by relevance
721 uint8_t pucPayload[ 300 ] = { 0 }; in test_DNS_TreatNBNS_Fail_MinimumBufferSize() local730 DNS_TreatNBNS( pucPayload, in test_DNS_TreatNBNS_Fail_MinimumBufferSize()741 uint8_t * pucPayload = NULL; in test_DNS_TreatNBNS_Fail_NullPayload() local750 DNS_TreatNBNS( pucPayload, in test_DNS_TreatNBNS_Fail_NullPayload()761 uint8_t pucPayload[ 300 ] = { 0 }; in test_DNS_TreatNBNS_success() local778 DNS_TreatNBNS( pucPayload, in test_DNS_TreatNBNS_success()789 uint8_t * pucPayload = NULL; in test_DNS_TreatNBNS_FailNullPayload() local803 DNS_TreatNBNS( pucPayload, in test_DNS_TreatNBNS_FailNullPayload()814 uint8_t * pucPayload = NULL; in test_DNS_TreatNBNS_FailLessBufferSize() local828 DNS_TreatNBNS( pucPayload, in test_DNS_TreatNBNS_FailLessBufferSize()[all …]
16 void DNS_TreatNBNS( uint8_t * pucPayload, in DNS_TreatNBNS() argument20 __CPROVER_assert( pucPayload != NULL, "Precondition: pucPayload != NULL" ); in DNS_TreatNBNS()
77 void DNS_TreatNBNS( uint8_t * pucPayload,
1015 void DNS_TreatNBNS( uint8_t * pucPayload, in DNS_TreatNBNS() argument1023 uint8_t * pucUDPPayloadBuffer = pucPayload; in DNS_TreatNBNS()
