shared_page_write
shared_page_write(res, size, data);
shared_page_write(tk_base + offsetof(struct vdso_timekeep, tk_ver),
shared_page_write(tk_base + offsetof(struct vdso_timekeep32,
void shared_page_write(int base, int size, const void *data);