do_vxge_close    3046 drivers/net/ethernet/neterion/vxge/vxge-main.c 	do_vxge_close(dev, 1);
do_vxge_close    4043 drivers/net/ethernet/neterion/vxge/vxge-main.c 		do_vxge_close(netdev, 0);