osfmk/kern/mk_timer.h

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