589 	uint32_t tx_buffer_count;  in dp_ipa_tx_alt_pool_attach()  local
646 	for (tx_buffer_count = 0;  in dp_ipa_tx_alt_pool_attach()
647 		tx_buffer_count < max_alloc_count - 1; tx_buffer_count++) {  in dp_ipa_tx_alt_pool_attach()
674 			tx_buffer_count] = (void *)nbuf;  in dp_ipa_tx_alt_pool_attach()
680 	soc->ipa_uc_tx_rsc_alt.alloc_tx_buf_cnt = tx_buffer_count;  in dp_ipa_tx_alt_pool_attach()
682 	if (tx_buffer_count) {  in dp_ipa_tx_alt_pool_attach()
683 		dp_info("IPA TX buffer pool2: %d allocated", tx_buffer_count);  in dp_ipa_tx_alt_pool_attach()
1469 	uint32_t tx_buffer_count;  in dp_tx_ipa_uc_attach()  local
1525 	for (tx_buffer_count = 0;  in dp_tx_ipa_uc_attach()
1526 		tx_buffer_count < max_alloc_count - 1; tx_buffer_count++) {  in dp_tx_ipa_uc_attach()
1562 		soc->ipa_uc_tx_rsc.tx_buf_pool_vaddr_unaligned[tx_buffer_count]  in dp_tx_ipa_uc_attach()
1569 	soc->ipa_uc_tx_rsc.alloc_tx_buf_cnt = tx_buffer_count;  in dp_tx_ipa_uc_attach()
1571 	if (tx_buffer_count) {  in dp_tx_ipa_uc_attach()
1572 		dp_info("IPA WDI TX buffer: %d allocated", tx_buffer_count);  in dp_tx_ipa_uc_attach()