Use the new cothread_delete() API in vke_stop().
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 15 May 2009 20:47:56 +0000 (13:47 -0700)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 15 May 2009 20:47:56 +0000 (13:47 -0700)
commit55bf8f02a961edc351b9b09b775735f298924537
tree8364296d4f74e3da21bcac4721638668a515dfbb
parentd19265de9936ece2fe13a3a79dce69ef1e87dae6
Use the new cothread_delete() API in vke_stop().

Fix a memory and pthread leak, and a panic in VKE by using the new
cothread_delete() API to properly delete the thread and deregister the
interrupt.
sys/dev/virtual/net/if_vke.c