Searched refs:des_va (Results 1 – 1 of 1) sorted by relevance
165 uintptr_t des_va = ALIGN2PAGE(vaddr); in va_to_pfn() local166 uintptr_t va = des_va; in va_to_pfn()176 if (va > des_va) in va_to_pfn()178 if (va < des_va) in va_to_pfn()179 pfn += mmu_btop(des_va - va); in va_to_pfn()