Searched refs:tk_base (Results 1 – 1 of 1) sorted by relevance
232 int tk_base; in alloc_sv_tk() local237 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep) + in alloc_sv_tk()239 KASSERT(tk_base != -1, ("tk_base -1 for native")); in alloc_sv_tk()240 shared_page_write(tk_base + offsetof(struct vdso_timekeep, tk_ver), in alloc_sv_tk()242 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk()252 int tk_base; in alloc_sv_tk_compat32() local257 tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) + in alloc_sv_tk_compat32()259 KASSERT(tk_base != -1, ("tk_base -1 for 32bit")); in alloc_sv_tk_compat32()260 shared_page_write(tk_base + offsetof(struct vdso_timekeep32, in alloc_sv_tk_compat32()262 svtk->sv_timekeep_off = tk_base; in alloc_sv_tk_compat32()