Symbol: TULIP_SETCTX
sys/dev/pci/if_de.c
3392
TULIP_SETCTX(ms, map);
sys/dev/pci/if_de.c
3856
TULIP_SETCTX(m, map);