Searched refs:tk_base (Results 1 – 1 of 1) sorted by relevance
230 int tk_base; in alloc_sv_tk() local235 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep) + in alloc_sv_tk()237 KASSERT(tk_base != -1, ("tk_base -1 for native")); in alloc_sv_tk()238 shared_page_write(tk_base + offsetof(struct vdso_timekeep, tk_ver), in alloc_sv_tk()240 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk()250 int tk_base; in alloc_sv_tk_compat32() local255 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) + in alloc_sv_tk_compat32()257 KASSERT(tk_base != -1, ("tk_base -1 for 32bit")); in alloc_sv_tk_compat32()258 shared_page_write(tk_base + offsetof(struct vdso_timekeep32, in alloc_sv_tk_compat32()260 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk_compat32()