Symbol: SK_TXRBS1_END
sys/arch/sandpoint/stand/altboot/skg.c
285
CSR_WRITE_4(l, SK_TXRBS1_END, 0x1fff);
sys/dev/pci/if_sk.c
2798
SK_IF_WRITE_4(sc_if, 1, SK_TXRBS1_END, sc_if->sk_tx_ramend);