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