#ifndef _I386_MISC_PROTOS_H_
#define _I386_MISC_PROTOS_H_
#include <machine/thread.h>
struct boot_args;
struct cpu_data;
extern boolean_t virtualized;
extern void vstart(vm_offset_t);
extern void i386_init(void);
extern void x86_init_wrapper(uintptr_t, uintptr_t) __attribute__((noreturn));
extern void i386_vm_init(
uint64_t,
boolean_t,
struct boot_args *);
#if NCOPY_WINDOWS > 0
extern void cpu_userwindow_init(int);
extern void cpu_physwindow_init(int);
#endif
extern void machine_startup(void);
extern void get_root_device(void);
extern void picinit(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 cpu_init(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);
extern void intnull(
int unit);
extern char * i386_boot_info(
char *buf,
vm_size_t buf_len);
extern void blkclr(
const char *from,
int nbytes);
extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t nbytes);
extern int apply_func_phys(addr64_t src64, vm_size_t bytes, int (*func)(void * buffer, vm_size_t bytes, void * arg), void * arg);
extern int ml_copy_phys(addr64_t, addr64_t, vm_size_t);
extern void cache_flush_page_phys(ppnum_t pa);
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 *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 rtc_sleep_wakeup(uint64_t base);
extern void rtc_timer_start(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 rtc_clock_napped(uint64_t, uint64_t);
extern void rtc_clock_adjust(uint64_t);
extern void pmap_lowmem_finalize(void);
thread_t Switch_context(thread_t, thread_continue_t, thread_t);
thread_t Shutdown_context(thread_t thread, void (*doshutdown)(processor_t),processor_t processor);
#ifdef __x86_64__
uint64_t x86_64_pre_sleep(void);
void x86_64_post_sleep(uint64_t new_cr3);
#endif
boolean_t
debug_state_is_valid32(x86_debug_state32_t *ds);
boolean_t
debug_state_is_valid64(x86_debug_state64_t *ds);
void
copy_debug_state32(x86_debug_state32_t *src, x86_debug_state32_t *target, boolean_t all);
void
copy_debug_state64(x86_debug_state64_t *src, x86_debug_state64_t *target, boolean_t all);
extern void act_machine_switch_pcb(thread_t old, thread_t new);
#define FULL_SLAVE_INIT (NULL)
#define FAST_SLAVE_INIT ((void *)(uintptr_t)1)
void cpu_pmc_control(void *);
extern void pstate_trace(void);
#endif