#endif
 
 #ifdef CONFIG_TIME_NS
-static int do_hres_timens(const struct vdso_data *vdns, clockid_t clk,
-                         struct __kernel_timespec *ts)
+static __always_inline int do_hres_timens(const struct vdso_data *vdns, clockid_t clk,
+                                         struct __kernel_timespec *ts)
 {
        const struct vdso_data *vd = __arch_get_timens_vdso_data();
        const struct timens_offset *offs = &vdns->offset[clk];
        return NULL;
 }
 
-static int do_hres_timens(const struct vdso_data *vdns, clockid_t clk,
-                         struct __kernel_timespec *ts)
+static __always_inline int do_hres_timens(const struct vdso_data *vdns, clockid_t clk,
+                                         struct __kernel_timespec *ts)
 {
        return -EINVAL;
 }
 }
 
 #ifdef CONFIG_TIME_NS
-static int do_coarse_timens(const struct vdso_data *vdns, clockid_t clk,
-                           struct __kernel_timespec *ts)
+static __always_inline int do_coarse_timens(const struct vdso_data *vdns, clockid_t clk,
+                                           struct __kernel_timespec *ts)
 {
        const struct vdso_data *vd = __arch_get_timens_vdso_data();
        const struct vdso_timestamp *vdso_ts = &vd->basetime[clk];
        return 0;
 }
 #else
-static int do_coarse_timens(const struct vdso_data *vdns, clockid_t clk,
-                           struct __kernel_timespec *ts)
+static __always_inline int do_coarse_timens(const struct vdso_data *vdns, clockid_t clk,
+                                           struct __kernel_timespec *ts)
 {
        return -1;
 }