2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
4 * Copyright 2012 Konstantin Belousov <kib@FreeBSD.ORG>.
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
33 #include <sys/types.h>
34 #include <machine/vdso.h>
36 struct vdso_timehands {
40 uint32_t th_offset_count;
41 uint32_t th_counter_mask;
42 struct bintime th_offset;
43 struct bintime th_boottime;
47 struct vdso_timekeep {
51 struct vdso_timehands tk_th[];
54 #define VDSO_TK_CURRENT_BUSY 0xffffffff
55 #define VDSO_TK_VER_1 0x1
56 #define VDSO_TK_VER_CURR VDSO_TK_VER_1
57 #define VDSO_TH_ALGO_1 0x1
58 #define VDSO_TH_ALGO_2 0x2
59 #define VDSO_TH_ALGO_3 0x3
60 #define VDSO_TH_ALGO_4 0x4
62 struct vdso_fxrng_generation_1 {
63 uint32_t fx_vdso_version; /* 1 */
64 uint32_t fx_generation32;
65 uint64_t _fx_reserved;
67 _Static_assert(sizeof(struct vdso_fxrng_generation_1) == 16, "");
68 #define vdso_fxrng_generation vdso_fxrng_generation_1
70 /* fx_vdso_version values: */
71 #define VDSO_FXRNG_VER_1 0x1
72 #define VDSO_FXRNG_VER_CURR VDSO_FXRNG_VER_1
80 int __vdso_clock_gettime(clockid_t clock_id, struct timespec *ts);
81 int __vdso_gettimeofday(struct timeval *tv, struct timezone *tz);
82 int __vdso_gettc(const struct vdso_timehands *vdso_th, u_int *tc);
83 int __vdso_gettimekeep(struct vdso_timekeep **tk);
94 uint32_t sv_timekeep_gen;
97 #ifdef RANDOM_FENESTRASX
98 void fxrng_push_seed_generation(uint64_t gen);
100 void timekeep_push_vdso(void);
102 uint32_t tc_fill_vdso_timehands(struct vdso_timehands *vdso_th);
105 * The cpu_fill_vdso_timehands() function should fill MD-part of the
106 * struct vdso_timehands, which is both machine- and
107 * timecounter-depended. The return value should be 1 if fast
108 * userspace timecounter is enabled by hardware, and 0 otherwise. The
109 * global sysctl enable override is handled by machine-independed code
110 * after cpu_fill_vdso_timehands() call is made.
112 uint32_t cpu_fill_vdso_timehands(struct vdso_timehands *vdso_th,
113 struct timecounter *tc);
115 struct vdso_sv_tk *alloc_sv_tk(void);
117 #define VDSO_TH_NUM 4
119 #ifdef COMPAT_FREEBSD32
122 * i386 is the only arch with a 32 bit time_t.
125 #if defined(__amd64__)
133 struct vdso_timehands32 {
136 uint32_t th_scale[2];
137 uint32_t th_offset_count;
138 uint32_t th_counter_mask;
139 struct bintime32 th_offset;
140 struct bintime32 th_boottime;
144 struct vdso_timekeep32 {
148 struct vdso_timehands32 tk_th[];
151 uint32_t tc_fill_vdso_timehands32(struct vdso_timehands32 *vdso_th32);
152 uint32_t cpu_fill_vdso_timehands32(struct vdso_timehands32 *vdso_th32,
153 struct timecounter *tc);
154 struct vdso_sv_tk *alloc_sv_tk_compat32(void);