/*
- * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
+ * Copyright (c) 2000-2007 Apple Inc. All rights reserved.
*
* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
*
* @OSF_COPYRIGHT@
*/
+#ifndef _I386_MISC_PROTOS_H_
+#define _I386_MISC_PROTOS_H_
+
#include <i386/thread.h>
-extern void i386_preinit(void);
-extern void i386_init(void);
-extern void i386_vm_init(unsigned int, struct KernelBootArgs *);
+struct boot_args;
+struct cpu_data;
+
+extern void i386_init(vm_offset_t);
+extern void i386_macho_zerofill(void);
+extern void i386_vm_init(
+ uint64_t,
+ boolean_t,
+ struct boot_args *);
+extern void cpu_IA32e_enable(struct cpu_data *);
+extern void cpu_IA32e_disable(struct cpu_data *);
+extern void ml_load_desc64(void);
+extern void ml_64bit_wrmsr64(uint32_t msr, uint64_t value);
+extern void ml_64bit_lldt(int);
+extern void cpu_userwindow_init(int);
+extern void cpu_physwindow_init(int);
extern void machine_startup(void);
extern void interrupt_processor(
int cpu);
extern void mp_probe_cpus(void);
+extern void panic_io_port_read(void);
+
extern void remote_kdb(void);
extern void clear_kdb_intr(void);
extern void draw_panic_dialog(void);
extern void fix_desc(
void * desc,
int num_desc);
+extern void fix_desc64(
+ void * desc,
+ int num_desc);
extern void cnpollc(
boolean_t on);
extern void form_pic_mask(void);
const char *from,
int nbytes);
-extern void kdb_kintr(void);
-extern void kdb_console(void);
-
extern unsigned int div_scale(
unsigned int dividend,
unsigned int divisor,
extern processor_t cpu_processor_alloc(boolean_t is_boot_cpu);
extern void cpu_processor_free(processor_t proc);
+extern void *chudxnu_cpu_alloc(boolean_t is_boot_cpu);
+extern void chudxnu_cpu_free(void *);
+
extern void sysclk_gettime_interrupts_disabled(
mach_timespec_t *cur_time);
+extern void rtc_nanotime_init_commpage(void);
-extern void rtclock_intr(struct i386_interrupt_state *regs);
+extern void rtc_sleep_wakeup(uint64_t base);
-extern void rtc_sleep_wakeup(void);
+extern void rtc_lapic_start_ticking(void);
extern void rtc_clock_stepping(
uint32_t new_frequency,
extern void rtc_clock_stepped(
uint32_t new_frequency,
uint32_t old_frequency);
+extern void rtc_clock_napped(uint64_t, uint64_t);
extern void x86_lowmem_free(void);
+
+thread_t Switch_context(thread_t, thread_continue_t, thread_t);
+
+#endif /* _I386_MISC_PROTOS_H_ */