Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Gnome/gtk/deprecated/   (Gnome Linux Desktop Version 4.23.2©)  Datei vom 30.5.2026 mit Größe 6 kB image not shown  

Quelle  vgettimeofday.c   Sprache: C

 

// SPDX-License-Identifier: GPL-2.0
/*
 * Powerpc userspace implementations of gettimeofday() and similar.
 */

#include <linux/time.h>
#include <linux/types.h>

#ifdef __powerpc64__
int __c_kernel_clock_gettime(clockid_t clock, struct __kernel_timespec *ts,
        const struct vdso_time_data *vd)
{
 return __cvdso_clock_gettime_data(vd, clock, ts);
}

int __c_kernel_clock_getres(clockid_t clock_id, struct __kernel_timespec *res,
       const struct vdso_time_data *vd)
{
 return __cvdso_clock_getres_data(vd, clock_id, res);
}
#else
int __c_kernel_clock_gettime(clockid_t clock, struct old_timespec32 *ts,
        const struct vdso_time_data *vd)
{
 return __cvdso_clock_gettime32_data(vd, clock, ts);
}

int __c_kernel_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts,
          const struct vdso_time_data *vd)
{
 return __cvdso_clock_gettime_data(vd, clock, ts);
}

int __c_kernel_clock_getres(clockid_t clock_id, struct old_timespec32 *res,
       const struct vdso_time_data *vd)
{
 return __cvdso_clock_getres_time32_data(vd, clock_id, res);
}
#endif

int __c_kernel_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz,
       const struct vdso_time_data *vd)
{
 return __cvdso_gettimeofday_data(vd, tv, tz);
}

__kernel_old_time_t __c_kernel_time(__kernel_old_time_t *time, const struct vdso_time_data *vd)
{
 return __cvdso_time_data(vd, time);
}

Messung V0.5 in Prozent
C=96 H=100 G=97

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet am  2026-10-01) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Dauer der Verarbeitung:

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.