VDSO_TIME_PAGE_OFFSET
(void *)&vdso_initdata[VDSO_TIME_PAGE_OFFSET * PAGE_SIZE];
vdso_k_time_data = page_address(pages + VDSO_TIME_PAGE_OFFSET);
case VDSO_TIME_PAGE_OFFSET:
