|
Packit Service |
82fcde |
/* Copyright (C) 1992-2018 Free Software Foundation, Inc.
|
|
Packit Service |
82fcde |
This file is part of the GNU C Library.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit Service |
82fcde |
modify it under the terms of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License as published by the Free Software Foundation; either
|
|
Packit Service |
82fcde |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit Service |
82fcde |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit Service |
82fcde |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit Service |
82fcde |
Lesser General Public License for more details.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
You should have received a copy of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License along with the GNU C Library; if not, see
|
|
Packit Service |
82fcde |
<http://www.gnu.org/licenses/>. */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#include <signal.h>
|
|
Packit Service |
82fcde |
#include <time.h>
|
|
Packit Service |
82fcde |
#include <unistd.h>
|
|
Packit Service |
82fcde |
#include <mach.h>
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* Make the process sleep for SECONDS seconds, or until a signal arrives
|
|
Packit Service |
82fcde |
and is not ignored. The function returns the number of seconds less
|
|
Packit Service |
82fcde |
than SECONDS which it actually slept (zero if it slept the full time).
|
|
Packit Service |
82fcde |
There is no return value to indicate error, but if `sleep' returns
|
|
Packit Service |
82fcde |
SECONDS, it probably didn't work. */
|
|
Packit Service |
82fcde |
unsigned int
|
|
Packit Service |
82fcde |
__sleep (unsigned int seconds)
|
|
Packit Service |
82fcde |
{
|
|
Packit Service |
82fcde |
time_t before, after;
|
|
Packit Service |
82fcde |
mach_port_t recv;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
recv = __mach_reply_port ();
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
before = time ((time_t *) NULL);
|
|
Packit Service |
82fcde |
(void) __mach_msg (NULL, MACH_RCV_MSG|MACH_RCV_TIMEOUT|MACH_RCV_INTERRUPT,
|
|
Packit Service |
82fcde |
0, 0, recv, seconds * 1000, MACH_PORT_NULL);
|
|
Packit Service |
82fcde |
after = time ((time_t *) NULL);
|
|
Packit Service |
82fcde |
__mach_port_destroy (__mach_task_self (), recv);
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
return seconds - (after - before);
|
|
Packit Service |
82fcde |
}
|
|
Packit Service |
82fcde |
weak_alias (__sleep, sleep)
|