Searched refs:page_lvl0_idx (Results 1 – 1 of 1) sorted by relevance
750 ulong page_global_idx, page_lvl0_idx; in gasket_is_extended_dev_addr_bad() local767 page_lvl0_idx = gasket_extended_lvl0_page_idx(pg_tbl, dev_addr); in gasket_is_extended_dev_addr_bad()779 if (page_lvl0_idx >= pg_tbl->num_extended_entries) { in gasket_is_extended_dev_addr_bad()782 page_lvl0_idx, pg_tbl->num_extended_entries); in gasket_is_extended_dev_addr_bad()786 if (page_lvl0_idx + num_lvl0_pages > pg_tbl->num_extended_entries) { in gasket_is_extended_dev_addr_bad()789 page_lvl0_idx + num_lvl0_pages, in gasket_is_extended_dev_addr_bad()
