PAGELIST_ENTRIES_PER_PAGE
int pages = DIV_ROUND_UP(num_entries, PAGELIST_ENTRIES_PER_PAGE);
u64 pages_list[PAGELIST_ENTRIES_PER_PAGE];
if (n == PAGELIST_ENTRIES_PER_PAGE) {