Searched refs:tk_base (Results 1 – 1 of 1) sorted by relevance
222 int tk_base; in alloc_sv_tk() local227 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep) + in alloc_sv_tk()229 KASSERT(tk_base != -1, ("tk_base -1 for native")); in alloc_sv_tk()230 shared_page_write(tk_base + offsetof(struct vdso_timekeep, tk_ver), in alloc_sv_tk()232 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk()242 int tk_base; in alloc_sv_tk_compat32() local247 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) + in alloc_sv_tk_compat32()249 KASSERT(tk_base != -1, ("tk_base -1 for 32bit")); in alloc_sv_tk_compat32()250 shared_page_write(tk_base + offsetof(struct vdso_timekeep32, in alloc_sv_tk_compat32()252 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk_compat32()