*
* @APPLE_LICENSE_HEADER_START@
*
- * Copyright (c) 1999-2003 Apple Computer, Inc. All Rights Reserved.
+ * The contents of this file constitute Original Code as defined in and
+ * are subject to the Apple Public Source License Version 1.1 (the
+ * "License"). You may not use this file except in compliance with the
+ * License. Please obtain a copy of the License at
+ * http://www.apple.com/publicsource and read it before using this file.
*
- * This file contains Original Code and/or Modifications of Original Code
- * as defined in and that are subject to the Apple Public Source License
- * Version 2.0 (the 'License'). You may not use this file except in
- * compliance with the License. Please obtain a copy of the License at
- * http://www.opensource.apple.com/apsl/ and read it before using this
- * file.
- *
- * The Original Code and all software distributed under the License are
- * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
+ * This Original Code and all software distributed under the License are
+ * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
- * Please see the License for the specific language governing rights and
- * limitations under the License.
+ * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT. Please see the
+ * License for the specific language governing rights and limitations
+ * under the License.
*
* @APPLE_LICENSE_HEADER_END@
*/
#include <i386/thread.h>
+extern void i386_preinit(void);
+extern void i386_init(void);
+extern void i386_vm_init(unsigned int, struct KernelBootArgs *);
+
+extern void machine_startup(void);
+
extern void get_root_device(void);
extern void picinit(void);
-extern void slave_clock(void);
extern void interrupt_processor(
int cpu);
extern void mp_probe_cpus(void);
extern void remote_kdb(void);
extern void clear_kdb_intr(void);
extern void draw_panic_dialog(void);
-extern void set_cpu_model(void);
+extern void cpu_init(void);
extern void cpu_shutdown(void);
extern void fix_desc(
void * desc,
extern void kdb_kintr(void);
extern void kdb_console(void);
-extern unsigned long ntohl(unsigned long);
-
extern unsigned int div_scale(
unsigned int dividend,
unsigned int divisor,
/* Move arbitrarily-aligned data from one physical address to another */
extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes);
+/* Flush all cachelines for a page. */
+extern void cache_flush_page_phys(ppnum_t pa);
+
+/* Flushing for incoherent I/O */
+extern void dcache_incoherent_io_flush64(addr64_t pa, unsigned int count);
+extern void dcache_incoherent_io_store64(addr64_t pa, unsigned int count);
+
+
+extern processor_t cpu_processor_alloc(boolean_t is_boot_cpu);
+extern void cpu_processor_free(processor_t proc);
+
+extern void sysclk_gettime_interrupts_disabled(
+ mach_timespec_t *cur_time);
+
+
+extern void rtclock_intr(struct i386_interrupt_state *regs);
+
+extern void rtc_sleep_wakeup(void);
+
+extern void rtc_clock_stepping(
+ uint32_t new_frequency,
+ uint32_t old_frequency);
+extern void rtc_clock_stepped(
+ uint32_t new_frequency,
+ uint32_t old_frequency);
+
+extern void x86_lowmem_free(void);