tavor_internal_uarpgs_fini
tavor_internal_uarpgs_fini(state);
static void tavor_internal_uarpgs_fini(tavor_state_t *state);