Searched refs:sharedpage_pmap (Results 1 – 1 of 1) sorted by relevance
10992 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11009 sharedpage_pmap = sharedpage_pmap_default;11011 sharedpage_pmap = sharedpage_pmap_4k;11075 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11091 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11105 sharedpage_pmap = sharedpage_pmap_default;11107 sharedpage_pmap = sharedpage_pmap_4k;11131 …if (*ttep != ARM_TTE_EMPTY && *ttep != *pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_va…