Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/arch/riscv/include/asm/vdso/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 2 kB image not shown  

Quelle  gettimeofday.h   Sprache: C

 
/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __ASM_VDSO_GETTIMEOFDAY_H
#define __ASM_VDSO_GETTIMEOFDAY_H

#ifndef __ASSEMBLY__

#include <asm/barrier.h>
#include <asm/unistd.h>
#include <asm/csr.h>
#include <uapi/linux/time.h>

/*
 * 32-bit land is lacking generic time vsyscalls as well as the legacy 32-bit
 * time syscalls like gettimeofday. Skip these definitions since on 32-bit.
 */

#ifdef CONFIG_GENERIC_TIME_VSYSCALL

#define VDSO_HAS_CLOCK_GETRES 1

static __always_inline
int gettimeofday_fallback(struct __kernel_old_timeval *_tv,
     struct timezone *_tz)
{
 register struct __kernel_old_timeval *tv asm("a0") = _tv;
 register struct timezone *tz asm("a1") = _tz;
 register long ret asm("a0");
 register long nr asm("a7") = __NR_gettimeofday;

 asm volatile ("ecall\n"
        : "=r" (ret)
        : "r"(tv), "r"(tz), "r"(nr)
        : "memory");

 return ret;
}

static __always_inline
long clock_gettime_fallback(clockid_t _clkid, struct __kernel_timespec *_ts)
{
 register clockid_t clkid asm("a0") = _clkid;
 register struct __kernel_timespec *ts asm("a1") = _ts;
 register long ret asm("a0");
 register long nr asm("a7") = __NR_clock_gettime;

 asm volatile ("ecall\n"
        : "=r" (ret)
        : "r"(clkid), "r"(ts), "r"(nr)
        : "memory");

 return ret;
}

static __always_inline
int clock_getres_fallback(clockid_t _clkid, struct __kernel_timespec *_ts)
{
 register clockid_t clkid asm("a0") = _clkid;
 register struct __kernel_timespec *ts asm("a1") = _ts;
 register long ret asm("a0");
 register long nr asm("a7") = __NR_clock_getres;

 asm volatile ("ecall\n"
        : "=r" (ret)
        : "r"(clkid), "r"(ts), "r"(nr)
        : "memory");

 return ret;
}

#endif /* CONFIG_GENERIC_TIME_VSYSCALL */

static __always_inline u64 __arch_get_hw_counter(s32 clock_mode,
       const struct vdso_time_data *vd)
{
 /*
 * The purpose of csr_read(CSR_TIME) is to trap the system into
 * M-mode to obtain the value of CSR_TIME. Hence, unlike other
 * architecture, no fence instructions surround the csr_read()
 */

 return csr_read(CSR_TIME);
}

#endif /* !__ASSEMBLY__ */

#endif /* __ASM_VDSO_GETTIMEOFDAY_H */

Messung V0.5
C=96 H=61 G=80

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.