vmmr_tp_remove_split
vmmr_span_t *span = vmmr_tp_remove_split(remain, &vmmr_free_tp);
span = vmmr_tp_remove_split(remain, &vmmr_empty_tp);