sv_exchange
sv_stats.sv_exchange++;
int sv_exchange;
sv_exchange(vpp);
extern void sv_exchange(vnode_t **);