SFXGE_TX_MAPPING_NADDR
uint64_t stm_addr[SFXGE_TX_MAPPING_NADDR];
ASSERT3U(page, <, SFXGE_TX_MAPPING_NADDR);
bzero(stmp->stm_addr, sizeof (uint64_t) * SFXGE_TX_MAPPING_NADDR);
ASSERT3U(ncookies, <=, SFXGE_TX_MAPPING_NADDR);
ASSERT3U(n, <, SFXGE_TX_MAPPING_NADDR);
ASSERT3U(n, <=, SFXGE_TX_MAPPING_NADDR);