Symbol: vdso_timekeep32
sys/kern/kern_sharedpage.c
179
struct vdso_timekeep32 *tk;
sys/kern/kern_sharedpage.c
191
tk = (struct vdso_timekeep32 *)(shared_page_mapping +
sys/kern/kern_sharedpage.c
254
tk_base = shared_page_alloc(sizeof(struct vdso_timekeep32) +
sys/kern/kern_sharedpage.c
257
shared_page_write(tk_base + offsetof(struct vdso_timekeep32,