Searched refs:tag_page_index (Results 1 – 1 of 1) sorted by relevance
2466 uint64_t tag_page_index; in map_paddr_to_tag_ppnum() local2471 tag_page_index = atop(paddr - gDramBase) / MTE_PAGES_PER_TAG_PAGE; in map_paddr_to_tag_ppnum()2472 return mte_tag_storage_start_pnum + tag_page_index; in map_paddr_to_tag_ppnum()2484 uint64_t tag_page_index = tag_ppnum - mte_tag_storage_start_pnum; in map_tag_ppnum_to_first_covered_ppnum() local2485 return atop(ptoa(tag_page_index * MTE_PAGES_PER_TAG_PAGE) + gDramBase); in map_tag_ppnum_to_first_covered_ppnum()