/* Kick off a purge of the outstanding lazy areas. Don't bother if somebody is already purging.  */
static void try_purge_vmap_area_lazy(void)
/* Kick off a purge of the outstanding lazy areas. Don't bother if somebody is already purging.  */
static void try_purge_vmap_area_lazy(void)
{
	unsigned long start = ULONG_MAX, end = 0;
	__purge_vmap_area_lazy(&start, &end, 0, 0);
}