Xenomai 3.3.2
Loading...
Searching...
No Matches
time.h
1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef _COBALT_KERNEL_TIME_H
4#define _COBALT_KERNEL_TIME_H
5
6#include <linux/time.h>
7#include <linux/time64.h>
8
17int cobalt_get_timespec64(struct timespec64 *ts,
18 const struct __kernel_timespec __user *uts);
19
28int cobalt_put_timespec64(const struct timespec64 *ts,
29 struct __kernel_timespec __user *uts);
30
39int cobalt_get_itimerspec64(struct itimerspec64 *dst,
40 const struct __kernel_itimerspec __user *src);
41
49int cobalt_put_itimerspec64(struct __kernel_itimerspec __user *dst,
50 const struct itimerspec64 *src);
51
52#endif //_COBALT_KERNEL_TIME_H