]>
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 | #include <i386/thread.h> | |
27 | ||
28 | extern void get_root_device(void); | |
29 | extern void picinit(void); | |
30 | extern void slave_clock(void); | |
31 | extern void interrupt_processor( | |
32 | int cpu); | |
33 | extern void mp_probe_cpus(void); | |
34 | extern void remote_kdb(void); | |
35 | extern void clear_kdb_intr(void); | |
36 | extern void draw_panic_dialog(void); | |
37 | extern void set_cpu_model(void); | |
38 | extern void cpu_shutdown(void); | |
39 | extern void fix_desc( | |
40 | void * desc, | |
41 | int num_desc); | |
42 | extern void cnpollc( | |
43 | boolean_t on); | |
44 | extern void form_pic_mask(void); | |
45 | extern void intnull( | |
46 | int unit); | |
47 | extern char * i386_boot_info( | |
48 | char *buf, | |
49 | vm_size_t buf_len); | |
50 | ||
51 | extern void blkclr( | |
52 | const char *from, | |
53 | int nbytes); | |
54 | ||
55 | extern void kdb_kintr(void); | |
56 | extern void kdb_console(void); | |
57 | ||
58 | extern unsigned long ntohl(unsigned long); | |
59 | ||
60 | extern unsigned int div_scale( | |
61 | unsigned int dividend, | |
62 | unsigned int divisor, | |
63 | unsigned int *scale); | |
64 | ||
65 | extern unsigned int mul_scale( | |
66 | unsigned int multiplicand, | |
67 | unsigned int multiplier, | |
68 | unsigned int *scale); | |
69 | ||
70 | /* Move arbitrarily-aligned data from one physical address to another */ | |
71 | extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes); | |
72 |