__max_nr_grant_frames  718 drivers/xen/grant-table.c 	unsigned int xen_max = __max_nr_grant_frames();
__max_nr_grant_frames  723 drivers/xen/grant-table.c 		boot_max_nr_grant_frames = __max_nr_grant_frames();
__max_nr_grant_frames  734 drivers/xen/grant-table.c 	unsigned int max_nr_gframes = __max_nr_grant_frames();