]>
git.saurik.com Git - apple/xnu.git/blob - osfmk/i386/misc_protos.h
2 * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
4 * @APPLE_LICENSE_HEADER_START@
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.
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
20 * @APPLE_LICENSE_HEADER_END@
26 #include <i386/thread.h>
28 extern void i386_preinit(void);
29 extern void i386_init(void);
30 extern void i386_vm_init(unsigned int, struct KernelBootArgs
*);
32 extern void machine_startup(void);
34 extern void get_root_device(void);
35 extern void picinit(void);
36 extern void interrupt_processor(
38 extern void mp_probe_cpus(void);
39 extern void remote_kdb(void);
40 extern void clear_kdb_intr(void);
41 extern void draw_panic_dialog(void);
42 extern void cpu_init(void);
43 extern void cpu_shutdown(void);
49 extern void form_pic_mask(void);
52 extern char * i386_boot_info(
60 extern void kdb_kintr(void);
61 extern void kdb_console(void);
63 extern unsigned int div_scale(
64 unsigned int dividend
,
68 extern unsigned int mul_scale(
69 unsigned int multiplicand
,
70 unsigned int multiplier
,
73 /* Move arbitrarily-aligned data from one physical address to another */
74 extern void bcopy_phys(addr64_t from
, addr64_t to
, vm_size_t nbytes
);
76 /* Flush all cachelines for a page. */
77 extern void cache_flush_page_phys(ppnum_t pa
);
79 /* Flushing for incoherent I/O */
80 extern void dcache_incoherent_io_flush64(addr64_t pa
, unsigned int count
);
81 extern void dcache_incoherent_io_store64(addr64_t pa
, unsigned int count
);
84 extern processor_t
cpu_processor_alloc(boolean_t is_boot_cpu
);
85 extern void cpu_processor_free(processor_t proc
);
87 extern void sysclk_gettime_interrupts_disabled(
88 mach_timespec_t
*cur_time
);
91 extern void rtclock_intr(struct i386_interrupt_state
*regs
);
93 extern void rtc_sleep_wakeup(void);
95 extern void rtc_clock_stepping(
96 uint32_t new_frequency
,
97 uint32_t old_frequency
);
98 extern void rtc_clock_stepped(
99 uint32_t new_frequency
,
100 uint32_t old_frequency
);
102 extern void x86_lowmem_free(void);