diff options
author | Olivier Houchard <cognet@FreeBSD.org> | 2019-01-13 00:19:15 +0000 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-11-15 08:56:53 +0100 |
commit | 045ed584fe6eaa8590d249980c00bd55fce13231 (patch) | |
tree | f8327078d2a846fc869322658b7af2cfe9a2568e /cpukit/score/src | |
parent | Create a new macro for static DPCPU data. (diff) | |
download | rtems-045ed584fe6eaa8590d249980c00bd55fce13231.tar.bz2 |
Instead of using an incomplete list of platforms
that uses 64bits time_t in 32bits mode, special case amd64, as i386 is
the only arch that still uses 32bits time_t.
Diffstat (limited to '')
-rw-r--r-- | cpukit/score/src/kern_tc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c index d154381541..cc2b47aeb8 100644 --- a/cpukit/score/src/kern_tc.c +++ b/cpukit/score/src/kern_tc.c @@ -273,7 +273,8 @@ sysctl_kern_boottime(SYSCTL_HANDLER_ARGS) getboottime(&boottime); -#ifndef __mips__ +/* i386 is the only arch which uses a 32bits time_t */ +#ifdef __amd64__ #ifdef SCTL_MASK32 int tv[2]; |