Searched refs:sharedpage_vaddr (Results 1 – 1 of 1) sorted by relevance
10766 vm_offset_t sharedpage_vaddr; local10803 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;10805 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;10829 while ((ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr)) == TT_ENTRY_NULL) {10832 kr = pmap_expand(pmap, sharedpage_vaddr, options, sharedpage_level);10852 src_ttep = pmap_ttne(sharedpage_pmap, sharedpage_level, sharedpage_vaddr);10867 vm_offset_t sharedpage_vaddr; local10895 sharedpage_vaddr = _COMM_PAGE64_BASE_ADDRESS;10897 sharedpage_vaddr = _COMM_PAGE32_BASE_ADDRESS;10901 ttep = pmap_ttne(pmap, sharedpage_level, sharedpage_vaddr);[all …]