Searched refs:sharedpage_vaddr (Results 1 – 1 of 1) sorted by relevance
10988 vm_offset_t sharedpage_vaddr; local11025 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11027 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11051 while ((ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr)) == TT_ENTRY_NULL) {11054 kr = pmap_expand(pmap, sharedpage_vaddr, options, sharedpage_level);11074 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);11089 vm_offset_t sharedpage_vaddr; local11117 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;11119 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;11123 ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr);[all …]