__max_nr_grant_frames
unsigned int xen_max = __max_nr_grant_frames();
boot_max_nr_grant_frames = __max_nr_grant_frames();
unsigned int max_nr_gframes = __max_nr_grant_frames();