#include <mach/mach_types.h>
-#include <kern/lock.h>
#include <kern/host.h>
#include <kern/spl.h>
#include <kern/sched_prim.h>
sleep_type_t sleep_type,
mach_timespec_t *sleep_time);
-int rtclock_config(void);
-
int rtclock_init(void);
kern_return_t rtclock_gettime(
mach_msg_type_number_t *count);
struct clock_ops sysclk_ops = {
- rtclock_config, rtclock_init,
+ NULL, rtclock_init,
rtclock_gettime,
rtclock_getattr,
};
clock_oldconfig(void)
{
clock_t clock;
- register int i;
+ int i;
simple_lock_init(&alarm_lock, 0);
thread_call_setup(&alarm_done_call, (thread_call_func_t)alarm_done, NULL);
clock_oldinit(void)
{
clock_t clock;
- register int i;
+ int i;
/*
* Initialize basic clock structures.
clock_service_create(void)
{
clock_t clock;
- register int i;
+ int i;
/*
* Initialize ipc clock services.
alarm_expire(void)
{
clock_t clock;
- register alarm_t alrm1;
- register alarm_t alrm2;
+ alarm_t alrm1;
+ alarm_t alrm2;
mach_timespec_t clock_time;
mach_timespec_t *alarm_time;
spl_t s;
static void
alarm_done(void)
{
- register alarm_t alrm;
+ alarm_t alrm;
kern_return_t code;
spl_t s;
post_alarm(
alarm_t alarm)
{
- register alarm_t alrm1, alrm2;
+ alarm_t alrm1, alrm2;
mach_timespec_t *alarm_time;
mach_timespec_t *queue_time;