NR_GRANT_ENTRIES_PER_PAGE
gnt_max_grant_frames * NR_GRANT_ENTRIES_PER_PAGE;
start_gnt = (gnt_nr_grant_frames * NR_GRANT_ENTRIES_PER_PAGE) <
(gnt_nr_grant_frames * NR_GRANT_ENTRIES_PER_PAGE);
i < nframes_new * NR_GRANT_ENTRIES_PER_PAGE;
KASSERT(last_gnt_entry <= gnt_max_grant_frames * NR_GRANT_ENTRIES_PER_PAGE);
KASSERT(last_gnt_entry <= gnt_max_grant_frames * NR_GRANT_ENTRIES_PER_PAGE);