]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | * Copyright (c) 2000 Apple Computer, Inc. All rights reserved. | |
3 | * | |
4 | * @APPLE_OSREFERENCE_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. The rights granted to you under the License | |
10 | * may not be used to create, or enable the creation or redistribution of, | |
11 | * unlawful or unlicensed copies of an Apple operating system, or to | |
12 | * circumvent, violate, or enable the circumvention or violation of, any | |
13 | * terms of an Apple operating system software license agreement. | |
14 | * | |
15 | * Please obtain a copy of the License at | |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. | |
17 | * | |
18 | * The Original Code and all software distributed under the License are | |
19 | * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER | |
20 | * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES, | |
21 | * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, | |
22 | * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT. | |
23 | * Please see the License for the specific language governing rights and | |
24 | * limitations under the License. | |
25 | * | |
26 | * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ | |
27 | */ | |
28 | /* | |
29 | * Copyright (c) 2000 Apple Computer, Inc. All rights reserved. | |
30 | * | |
31 | * HISTORY | |
32 | * | |
33 | * 29 June 2000 (debo) | |
34 | * Created. | |
35 | */ | |
36 | ||
37 | #ifndef _KERN_MK_TIMER_H_ | |
38 | #define _KERN_MK_TIMER_H_ | |
39 | ||
40 | #ifdef MACH_KERNEL_PRIVATE | |
41 | #include <mach/mach_types.h> | |
42 | ||
43 | #include <kern/call_entry.h> | |
44 | ||
45 | struct mk_timer { | |
46 | decl_simple_lock_data(,lock) | |
47 | call_entry_data_t call_entry; | |
48 | uint32_t is_dead:1, | |
49 | is_armed:1; | |
50 | int active; | |
51 | ipc_port_t port; | |
52 | }; | |
53 | ||
54 | typedef struct mk_timer *mk_timer_t, mk_timer_data_t; | |
55 | ||
56 | void mk_timer_port_destroy( | |
57 | ipc_port_t port); | |
58 | ||
59 | void mk_timer_init(void) __attribute__((section("__TEXT, initcode"))); | |
60 | ||
61 | #endif /* MACH_KERNEL_PRIVATE */ | |
62 | ||
63 | #endif /* _KERN_MK_TIMER_H_ */ |