L3_OFFSET
_Static_assert(L3_OFFSET == RISCV_L3_OFFSET, "L3_OFFSET mismatch");
MPASS((state->va & L3_OFFSET) == 0);
MPASS((state->pa & L3_OFFSET) == 0);
bs_state.pa = physmap[i] & ~L3_OFFSET;
pa |= (va & L3_OFFSET);
sva = (sva & ~L3_OFFSET) + L3_SIZE;
*pa = PTE_TO_PHYS(tpte) | (va & L3_OFFSET);
KASSERT((pa & L3_OFFSET) == 0,
KASSERT((sva & L3_OFFSET) == 0,
KASSERT((sva & L3_OFFSET) == 0,
MPASS((sva & L3_OFFSET) == 0);
MPASS(((sva + size) & L3_OFFSET) == 0);
DMAP_TO_PHYS((vm_offset_t)l1) & ~L3_OFFSET,
DMAP_TO_PHYS((vm_offset_t)l2) & ~L3_OFFSET,
DMAP_TO_PHYS((vm_offset_t)l2c_start) & ~L3_OFFSET,
DMAP_TO_PHYS((vm_offset_t)l3c_start) & ~L3_OFFSET,
mask = L3_OFFSET;
KASSERT((pa & L3_OFFSET) == 0,
KASSERT((va & L3_OFFSET) == 0,
KASSERT((va & L3_OFFSET) == 0,
va_next = (va + L3_SIZE) & ~L3_OFFSET;
pa |= (va & L3_OFFSET);
KASSERT((pa & L3_OFFSET) == 0,
KASSERT((sva & L3_OFFSET) == 0,
KASSERT((sva & L3_OFFSET) == 0,
pa = PTE_TO_PHYS(tpte) | (addr & L3_OFFSET);