osfmk/kern/mk_timer.h

   1 /*
   2  * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
   3  *
   4  * @APPLE_LICENSE_HEADER_START@
   5  *
   6  * The contents of this file constitute Original Code as defined in and
   7  * are subject to the Apple Public Source License Version 1.1 (the
   8  * "License").  You may not use this file except in compliance with the
   9  * License.  Please obtain a copy of the License at
  10  * http://www.apple.com/publicsource and read it before using this file.
  11  *
  12  * This Original Code and all software distributed under the License are
  13  * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  14  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  15  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  16  * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT.  Please see the
  17  * License for the specific language governing rights and limitations
  18  * under the License.
  19  *
  20  * @APPLE_LICENSE_HEADER_END@
  21  */
  22 /*
  23  * Copyright (c) 2000 Apple Computer, Inc.  All rights reserved.
  24  *
  25  * HISTORY
  26  *
  27  * 29 June 2000 (debo)
  28  *  Created.
  29  */
  30
  31 #ifndef _KERN_MK_TIMER_H_
  32 #define _KERN_MK_TIMER_H_
  33
  34 #ifdef MACH_KERNEL_PRIVATE
  35 #include <mach/mach_types.h>
  36
  37 #include <kern/call_entry.h>
  38
  39 struct mk_timer {
  40         decl_simple_lock_data(,lock)
  41         call_entry_data_t       call_entry;
  42         uint64_t                        time_of_arming;
  43         boolean_t                       is_dead:1,
  44                                                 is_armed:1;
  45         int                                     active;
  46         ipc_port_t                      port;
  47 };
  48
  49 typedef struct mk_timer         *mk_timer_t, mk_timer_data_t;
  50
  51 void            mk_timer_port_destroy(
  52                                 ipc_port_t                              port);
  53
  54 void            mk_timer_initialize(void);
  55
  56 #endif /* MACH_KERNEL_PRIVATE */
  57
  58 #endif /* _KERN_MK_TIMER_H_ */