Searched refs:sharedpage_pmap (Results 1 – 1 of 1) sorted by relevance
10991 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11008 sharedpage_pmap = sharedpage_pmap_default;11010 sharedpage_pmap = sharedpage_pmap_4k;11074 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11090 pmap_t sharedpage_pmap = sharedpage_pmap_default; local11104 sharedpage_pmap = sharedpage_pmap_default;11106 sharedpage_pmap = sharedpage_pmap_4k;11130 …if (*ttep != ARM_TTE_EMPTY && *ttep != *pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_va…