Searched refs:page_global_idx (Results 1 – 1 of 1) sorted by relevance
750 ulong page_global_idx, page_lvl0_idx; in gasket_is_extended_dev_addr_bad() local763 page_global_idx = (dev_addr / PAGE_SIZE) & in gasket_is_extended_dev_addr_bad()772 if (gasket_components_to_dev_address(pg_tbl, 0, page_global_idx, in gasket_is_extended_dev_addr_bad()
