Symbol: G_PMTXMAXPAGE
usr/src/uts/common/io/cxgbe/t4nex/cudbg_lib.c
1008
G_PMTXMAXPAGE(t4_read_reg(padap,
usr/src/uts/common/io/cxgbe/t4nex/cudbg_lib.c
1119
meminfo_buff->tx_pages_data[0] = G_PMTXMAXPAGE(lo);