VDSO_ARCH_PAGES_START
VDSO_ARCH_PAGES_END = VDSO_ARCH_PAGES_START + VDSO_ARCH_DATA_PAGES - 1,
case VDSO_ARCH_PAGES_START ... VDSO_ARCH_PAGES_END:
page = virt_to_page(vdso_k_arch_data) + vmf->pgoff - VDSO_ARCH_PAGES_START;
(void *)&vdso_initdata[VDSO_ARCH_PAGES_START * PAGE_SIZE];
vdso_k_arch_data = page_address(pages + VDSO_ARCH_PAGES_START);