Searched refs:sharedpage_pmap (Results 1 – 1 of 1) sorted by relevance
10985 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11002 sharedpage_pmap = sharedpage_pmap_default;11004 sharedpage_pmap = sharedpage_pmap_4k;11068 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11084 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11098 sharedpage_pmap = sharedpage_pmap_default;11100 sharedpage_pmap = sharedpage_pmap_4k;11124 …if (*ttep != ARM_TTE_EMPTY && *ttep != *pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_va…