xpvtap_user_ring_fini
xpvtap_user_ring_fini(state);
static void xpvtap_user_ring_fini(xpvtap_state_t *state);