/* Free a region of KVA allocated by alloc_vmap_area  */
static void free_vmap_area(struct vmap_area *va)
/* Free a region of KVA allocated by alloc_vmap_area  */
static void free_vmap_area(struct vmap_area *va)
{
	spin_lock(&vmap_area_lock);
	__free_vmap_area(va);
	spin_unlock(&vmap_area_lock);
}