#ifndef _KERN_MACHINE_H_
#define _KERN_MACHINE_H_
#include <mach/kern_return.h>
#include <mach/processor_info.h>
#include <kern/kern_types.h>
extern void processor_up(
processor_t processor);
extern void processor_offline(
processor_t processor);
extern void processor_start_thread(void);
extern void init_ast_check(
processor_t processor);
extern void cause_ast_check(
processor_t processor);
extern kern_return_t cpu_control(
int slot_num,
processor_info_t info,
unsigned int count);
extern void cpu_sleep(void);
extern kern_return_t cpu_start(
int slot_num);
extern void cpu_exit_wait(
int slot_num);
extern kern_return_t cpu_info(
processor_flavor_t flavor,
int slot_num,
processor_info_t info,
unsigned int *count);
extern kern_return_t cpu_info_count(
processor_flavor_t flavor,
unsigned int *count);
extern thread_t machine_processor_shutdown(
thread_t thread,
void (*doshutdown)(processor_t),
processor_t processor);
extern void machine_idle(void);
extern void machine_signal_idle(
processor_t processor);
extern void halt_cpu(void);
extern void halt_all_cpus(
boolean_t reboot);
extern char *machine_boot_info(
char *buf,
vm_size_t buf_len);
extern void machine_callstack(
natural_t *buf,
vm_size_t callstack_max);
extern void consider_machine_collect(void);
#endif