Searched refs:PTE_ADDR_HIGH (Results 1 – 2 of 2) sorted by relevance
160 #define PTE_ADDR_HIGH (_AT(pteval_t, 0xf) << 12) macro161 #define PTE_ADDR_MASK (PTE_ADDR_LOW | PTE_ADDR_HIGH)
80 ((pte_val(pte) & PTE_ADDR_HIGH) << PTE_ADDR_HIGH_SHIFT); in __pte_to_phys()
