Symbol: BGE_MBX_TX_NIC_PROD0_LO
sys/dev/bge/if_bge.c
1547
bge_writembx(sc, BGE_MBX_TX_NIC_PROD0_LO, 0);
sys/dev/bge/if_bge.c
1550
bge_writembx(sc, BGE_MBX_TX_NIC_PROD0_LO, 0);