Searched refs:va31_to20 (Results 1 – 1 of 1) sorted by relevance
105 u32 va31_to20; in hw_mmu_pte_addr_l1() local107 va31_to20 = va >> (20 - 2); /* Left-shift by 2 here itself */ in hw_mmu_pte_addr_l1()108 va31_to20 &= 0xFFFFFFFCUL; in hw_mmu_pte_addr_l1()109 pte_addr = l1_base + va31_to20; in hw_mmu_pte_addr_l1()