Searched refs:sharedpage_pmap (Results 1 – 1 of 1) sorted by relevance
10769 pmap_t sharedpage_pmap = sharedpage_pmap_default; local10786 sharedpage_pmap = sharedpage_pmap_default;10788 sharedpage_pmap = sharedpage_pmap_4k;10852 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);10868 pmap_t sharedpage_pmap = sharedpage_pmap_default; local10882 sharedpage_pmap = sharedpage_pmap_default;10884 sharedpage_pmap = sharedpage_pmap_4k;10908 …if (*ttep != ARM_TTE_EMPTY && *ttep != *pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_va…