/* Kick off a purge of the outstanding lazy areas.  */
static void purge_vmap_area_lazy(void)
/* Kick off a purge of the outstanding lazy areas.  */
static void purge_vmap_area_lazy(void)
{
	unsigned long start = ULONG_MAX, end = 0;
	__purge_vmap_area_lazy(&start, &end, 1, 0);
}