Searched refs:commpage_pmap (Results 1 – 1 of 1) sorted by relevance
11548 pmap_t commpage_pmap = commpage_pmap_default; local11565 commpage_pmap = commpage_pmap_default;11567 commpage_pmap = commpage_pmap_4k;11633 src_ttep = pmap_ttne(commpage_pmap, commpage_level, commpage_vaddr);11649 pmap_t commpage_pmap = commpage_pmap_default; local11663 commpage_pmap = commpage_pmap_default;11665 commpage_pmap = commpage_pmap_4k;11689 if (*ttep != ARM_TTE_EMPTY && *ttep != *pmap_ttne(commpage_pmap, commpage_level, commpage_vaddr)) {