1#ifndef START_CPU_H_ 2#define START_CPU_H_ 3 4#include <errors/errno.h> 5 6struct int_startup_argument; 7 8errval_t watch_for_cores(void); 9errval_t wait_for_all_spawnds(int use_acpi); 10errval_t start_boot_driver(coreid_t where, 11 struct module_info* mi, 12 char* record, struct driver_argument * int_arg); 13 14 15#endif /* START_CPU_H_ */ 16