Searched refs:uxpn2addr (Results 1 – 1 of 1) sorted by relevance
34 #define uxpn2addr(uxpn) ((uxpn) << (UXPTE_PER_PAGE_SHIFT + PAGE_SHIFT)) macro233 unsigned long addr = uxpn2addr(vma_uxpn + off_uxpn); in do_uxpte_page_fault()