Lines Matching defs:tk_base
201 int tk_base;
216 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) +
218 KASSERT(tk_base != -1, ("tk_base -1 for 32bit"));
219 shared_page_write(tk_base + offsetof(struct vdso_timekeep32,
226 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep) +
228 KASSERT(tk_base != -1, ("tk_base -1 for native"));
229 shared_page_write(tk_base + offsetof(struct vdso_timekeep,
236 sv->sv_timekeep_base = sv->sv_shared_page_base + tk_base;
237 sv->sv_timekeep_off = tk_base;