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