free_vmap_area_noflush
TRACE_EVENT(free_vmap_area_noflush,
free_vmap_area_noflush(va);
free_vmap_area_noflush(vb->va);