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;