|
Server : nginx/1.24.0 System : Linux ip-172-31-33-48 6.14.0-1011-aws #11~24.04.1-Ubuntu SMP Fri Aug 1 02:07:25 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 8.3.6 Disable Function : NONE Directory : /usr/src/linux-headers-6.14.0-1012-aws/include/vdso/ |
Upload File : |
/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _VDSO_GETTIME_H #define _VDSO_GETTIME_H #include <linux/types.h> struct __kernel_timespec; struct timezone; #if !defined(CONFIG_64BIT) || defined(BUILD_VDSO32_64) struct old_timespec32; int __vdso_clock_getres(clockid_t clock, struct old_timespec32 *res); int __vdso_clock_gettime(clockid_t clock, struct old_timespec32 *ts); #else int __vdso_clock_getres(clockid_t clock, struct __kernel_timespec *res); int __vdso_clock_gettime(clockid_t clock, struct __kernel_timespec *ts); #endif __kernel_old_time_t __vdso_time(__kernel_old_time_t *t); int __vdso_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz); int __vdso_clock_gettime64(clockid_t clock, struct __kernel_timespec *ts); #endif