Searched refs:sharedpage_vaddr (Results 1 – 1 of 1) sorted by relevance
10982 vm_offset_t sharedpage_vaddr; local11019 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11021 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11045 while ((ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr)) == TT_ENTRY_NULL) {11048 kr = pmap_expand(pmap, sharedpage_vaddr, options, sharedpage_level);11068 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11083 vm_offset_t sharedpage_vaddr; local11111 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11113 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11117 ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr);[all …]