__max_nr_grant_frames
return (min(__max_nr_grant_frames(), boot_max_nr_grant_frames));
boot_max_nr_grant_frames = __max_nr_grant_frames();