kill_door_servers
kill_door_servers(subp);
static void kill_door_servers(evchan_subscr_t *);
kill_door_servers(tofree);