xen_max           718 drivers/xen/grant-table.c 	unsigned int xen_max = __max_nr_grant_frames();
xen_max           725 drivers/xen/grant-table.c 	if (xen_max > boot_max_nr_grant_frames)
xen_max           727 drivers/xen/grant-table.c 	return xen_max;