]>
Commit | Line | Data |
---|---|---|
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 | * @OSF_COPYRIGHT@ | |
24 | */ | |
25 | ||
26 | #ifndef _KERN_MACHINE_H_ | |
27 | #define _KERN_MACHINE_H_ | |
28 | ||
29 | #include <cpus.h> | |
30 | #include <mach/kern_return.h> | |
31 | #include <mach/processor_info.h> | |
32 | #include <kern/kern_types.h> | |
33 | ||
34 | /* | |
35 | * Machine support declarations. | |
36 | */ | |
37 | ||
38 | extern thread_t machine_wake_thread; | |
39 | ||
40 | extern void processor_action(void); | |
41 | ||
42 | extern void cpu_down( | |
43 | int cpu); | |
44 | ||
45 | extern void cpu_up( | |
46 | int cpu); | |
47 | ||
48 | /* | |
49 | * Must be implemented in machine dependent code. | |
50 | */ | |
51 | ||
52 | /* Initialize machine dependent ast code */ | |
53 | extern void init_ast_check( | |
54 | processor_t processor); | |
55 | ||
56 | /* Cause check for ast */ | |
57 | extern void cause_ast_check( | |
58 | processor_t processor); | |
59 | ||
60 | extern kern_return_t cpu_start( | |
61 | int slot_num); | |
62 | ||
63 | extern kern_return_t cpu_control( | |
64 | int slot_num, | |
65 | processor_info_t info, | |
66 | unsigned int count); | |
67 | ||
68 | extern thread_t switch_to_shutdown_context( | |
69 | thread_t thread, | |
70 | void (*doshutdown)(processor_t), | |
71 | processor_t processor); | |
72 | ||
73 | extern kern_return_t cpu_signal( /* Signal the target CPU */ | |
74 | int target, | |
75 | int signal, | |
76 | unsigned int p1, | |
77 | unsigned int p2); | |
78 | ||
79 | #endif /* _KERN_MACHINE_H_ */ |