Searched refs:sharedpage_vaddr (Results 1 – 1 of 1) sorted by relevance
10989 vm_offset_t sharedpage_vaddr; local11026 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11028 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11052 while ((ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr)) == TT_ENTRY_NULL) {11055 kr = pmap_expand(pmap, sharedpage_vaddr, options, sharedpage_level);11075 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11090 vm_offset_t sharedpage_vaddr; local11118 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11120 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11124 ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr);[all …]