PAGE_ALIGNED
memset(PAGE_ALIGNED(xen_dummy_user_pgd + KERNBASE), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmpva), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmpva), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmpva), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmpva), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmpva), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(pdir), 0, PDP_SIZE * PAGE_SIZE);
memset(PAGE_ALIGNED(PMAP_DIRECT_MAP(pa)), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(zerova), 0, PAGE_SIZE);
memcpy(PAGE_ALIGNED(dstva), PAGE_ALIGNED(srcva), PAGE_SIZE);
memcpy(PAGE_ALIGNED(dstva), PAGE_ALIGNED(srcva), PAGE_SIZE);
memset(PAGE_ALIGNED(PMAP_DIRECT_MAP(pa)), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(early_zerop), 0, PAGE_SIZE);
memset(PAGE_ALIGNED(tmp_pml), 0, PAGE_SIZE);
memcpy(PAGE_ALIGNED(tmp_pml), PAGE_ALIGNED(kernel_pml), PAGE_SIZE);
memset(PAGE_ALIGNED(pmap->pm_pdir), 0, PAGE_SIZE);