shared_page_alloc
tk_base = shared_page_alloc(sizeof(struct vdso_timekeep) +
tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) +
base = shared_page_alloc(CACHE_LINE_SIZE, CACHE_LINE_SIZE);
int shared_page_alloc(int size, int align);