VDSO_TIMENS_PAGE_OFFSET
addr = vmf->address + VDSO_TIMENS_PAGE_OFFSET * PAGE_SIZE;
case VDSO_TIMENS_PAGE_OFFSET:
