TULIP_SETCTX     3266 dev/pci/if_de.c 		TULIP_SETCTX(me, NULL);
TULIP_SETCTX     3289 dev/pci/if_de.c 	    TULIP_SETCTX(me, NULL);
TULIP_SETCTX     3337 dev/pci/if_de.c 	    TULIP_SETCTX(me, NULL);
TULIP_SETCTX     3426 dev/pci/if_de.c 	    TULIP_SETCTX(ms, map);
TULIP_SETCTX     3961 dev/pci/if_de.c     TULIP_SETCTX(m, map);