Searched refs:des_va (Results 1 – 1 of 1) sorted by relevance
84 uintptr_t des_va = ALIGN2PAGE(vaddr); in va_to_pfn() local85 uintptr_t va = des_va; in va_to_pfn()95 if (va > des_va) in va_to_pfn()97 if (va < des_va) in va_to_pfn()98 pfn += mmu_btop(des_va - va); in va_to_pfn()