osfmk/kern/mk_timer.h

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