1/* Support code for timespec checks. 64-bit time support.
2 Copyright (C) 2021 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
9
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
14
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 <https://www.gnu.org/licenses/>. */
18
19#include <support/timespec.h>
20#include <stdio.h>
21#include <stdint.h>
22#include <assert.h>
23#include <intprops.h>
24
25#if __TIMESIZE != 64
26struct __timespec64 timespec_sub_time64 (struct __timespec64,
27 struct __timespec64);
28
29#define test_timespec_before_impl test_timespec_before_impl_time64
30#define test_timespec_equal_or_after_impl \
31 test_timespec_equal_or_after_impl_time64
32#define support_timespec_ns support_timespec_ns_time64
33#define support_timespec_normalize support_timespec_normalize_time64
34#define support_timespec_check_in_range \
35 support_timespec_check_in_range_time64
36#define timespec __timespec64
37#define timespec_sub timespec_sub_time64
38
39#include "timespec.c"
40#endif
41