PAGE_ALIGN_DOWN
__flush_cache_page(vma, vmaddr, PAGE_ALIGN_DOWN(physaddr));
start = PAGE_ALIGN_DOWN(start);
unsigned long sha_start = PAGE_ALIGN_DOWN(__sha(start));
aligned_end = PAGE_ALIGN_DOWN(zdev->end_dma + 1);
mstart = PAGE_ALIGN_DOWN(__pa(asm_acpi_mp_play_dead));
mstart = PAGE_ALIGN_DOWN(reset_vector);
nr_pages = (PAGE_ALIGN(end_paddr) - PAGE_ALIGN_DOWN(start_paddr))/PAGE_SIZE;
swap_addr = PAGE_ALIGN_DOWN(swap_entry->addr);
start = PAGE_ALIGN_DOWN(efi.unaccepted);
start = PAGE_ALIGN_DOWN(start);
start = PAGE_ALIGN_DOWN(start);
npages = (PAGE_ALIGN((u64)buf + len) - PAGE_ALIGN_DOWN((u64)buf)) >>
u64 aligned_iova = PAGE_ALIGN_DOWN(base_iova);
u64 aligned_iova = PAGE_ALIGN_DOWN(cmd->nesting_parent_iova);
phys = PAGE_ALIGN_DOWN(phys);
next_ppage = PAGE_ALIGN_DOWN(bsi->block_start + bsi->block_len) >> PAGE_SHIFT;
range.pos = PAGE_ALIGN_DOWN(*ppos);
for (cur = start; cur && cur < end; cur = PAGE_ALIGN_DOWN(cur + PAGE_SIZE))
for (cur = start; cur && cur < end; cur = PAGE_ALIGN_DOWN(cur + PAGE_SIZE))
for (cur = start; cur && cur < end; cur = PAGE_ALIGN_DOWN(cur + PAGE_SIZE))
shadow_start = PAGE_ALIGN_DOWN(shadow_start);
start = (void *)PAGE_ALIGN_DOWN((u64)start);
pgend = PAGE_ALIGN_DOWN(__pa(end_pg));
addr = PAGE_ALIGN_DOWN(addr);
obj = (void *) PAGE_ALIGN_DOWN((unsigned long)obj);
obj = (void *) PAGE_ALIGN_DOWN((unsigned long)obj);
split_at = folio_page(folio, PAGE_ALIGN_DOWN(offset) / PAGE_SIZE);
PAGE_ALIGN_DOWN(offset + length) / PAGE_SIZE);
return PAGE_ALIGN_DOWN(mmap_upper_limit(rlim_stack) - rnd);
void *old_khva = (void *)PAGE_ALIGN_DOWN((uintptr_t)gpc->khva);
old_khva = (void *)PAGE_ALIGN_DOWN((uintptr_t)gpc->khva);
old_uhva = PAGE_ALIGN_DOWN(gpc->uhva);
gpc->uhva = PAGE_ALIGN_DOWN(uhva);