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