Lines Matching refs:L2_ADDR_MASK
852 ppnum_t cpn = pa_index((cpte) & L2_ADDR_MASK);
2042 ppn = pa_index(pte & L2_ADDR_MASK);
2044 uint32_t virt = (va & L2_ADDR_MASK), par;
2092 uint32_t pa = par & L2_ADDR_MASK;
2117 uint32_t virt = (va & L2_ADDR_MASK), par;
2165 uint32_t pa = par & L2_ADDR_MASK;
2608 ppn = (*ptep) & L2_ADDR_MASK;
2613 ppn |= (virt & ~(L2_ADDR_MASK));
2631 uint32_t va = (virt & L2_ADDR_MASK), par;
2671 uint32_t pa = par & L2_ADDR_MASK;
2672 pa |= (virt & ~(L2_ADDR_MASK));
2889 if((old_pte & L2_ADDR_MASK) != 0) {
2890 uint32_t pai = pa_index(old_pte & L2_ADDR_MASK);
2900 if ((old_pte & L2_ADDR_MASK) == (pa << PAGE_SHIFT)) {
2906 uint32_t template_pte = ((pa << PAGE_SHIFT) & L2_ADDR_MASK) | L2_SMALL_PAGE;
2953 if ((old_pte & L2_ADDR_MASK) != 0) {
2954 pai = pa_index((old_pte & L2_ADDR_MASK));
3091 uint32_t template_pte = ((pa << PAGE_SHIFT) & L2_ADDR_MASK) | L2_SMALL_PAGE;
3364 ppnum_t pai = pa_index(*cpte & L2_ADDR_MASK);