1#ifndef DRIVER_STARTUP_H_
2#define DRIVER_STARTUP_H_
3
4#include <errors/errno.h>
5
6#include "boot_modules.h"
7
8struct int_startup_argument;
9errval_t default_start_function(coreid_t, struct module_info*, char*,
10        struct driver_argument * arg);
11errval_t start_networking(coreid_t, struct module_info*, char*,
12        struct driver_argument * arg);
13errval_t start_networking_new(coreid_t where,
14                              struct module_info* driver,
15                              char* record, struct driver_argument * int_arg);
16
17errval_t newstyle_start_function(coreid_t where, struct module_info* driver, char* record,
18        struct driver_argument* int_arg);
19
20errval_t
21default_start_function_new(coreid_t where, struct module_info* mi, char* record,
22                           struct driver_argument* arg);
23
24#endif /* DRIVER_STARTUP_H_ */
25