PTE1_OFFSET
if ((((va | pa) & PTE1_OFFSET) == 0) && (num >= PTE1_SIZE)) {
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pte1_offset = start & PTE1_OFFSET;
if ((end - start) - ((PTE1_SIZE - pte1_offset) & PTE1_OFFSET) >=
if ((va & PTE1_OFFSET) < pte1_offset)
else if ((va & PTE1_OFFSET) > pte1_offset)
if ((start & PTE1_OFFSET) == 0 && end - start >= PTE1_SIZE) {
KASSERT((va & PTE1_OFFSET) == 0,
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
pa = pte1_pa(pte1) | (va & PTE1_OFFSET);
KASSERT((pa & PTE1_OFFSET) == 0,
KASSERT((pa & PTE1_OFFSET) == 0,
if ((fpte2 & ((PTE2_FRAME & PTE1_OFFSET) | PTE2_A | PTE2_V)) !=
pteva = pte1_trunc(va) | (pte2 & PTE1_OFFSET &
KASSERT((sva & PTE1_OFFSET) == 0,
KASSERT((va & PTE1_OFFSET) == 0,
if ((va & PTE1_OFFSET) == 0 && va + PTE1_SIZE <= end &&
if ((addr & PTE1_OFFSET) == 0 && (size & PTE1_OFFSET) == 0) {
if (pte2_pa & PTE1_OFFSET)
KASSERT((sva & PTE1_OFFSET) == 0,
if ((addr & PTE1_OFFSET) != 0 ||
pte1_offset = offset & PTE1_OFFSET;
if (size - ((PTE1_SIZE - pte1_offset) & PTE1_OFFSET) < PTE1_SIZE ||
(*addr & PTE1_OFFSET) == pte1_offset)
if ((*addr & PTE1_OFFSET) < pte1_offset)
pa = trunc_page(pte1_pa(pte1) | (addr & PTE1_OFFSET));
return ((va + PTE1_OFFSET) & PTE1_FRAME);