inits.c (434B)
1 void init(int argc, char *argv[]) { 2 {extern void input_init(int, char *[]); input_init(argc, argv);} 3 {extern void main_init(int, char *[]); main_init(argc, argv);} 4 {extern void prof_init(int, char *[]); prof_init(argc, argv);} 5 {extern void trace_init(int, char *[]); trace_init(argc, argv);} 6 {extern void type_init(int, char *[]); type_init(argc, argv);} 7 {extern void x86linux_init(int, char *[]); x86linux_init(argc, argv);} 8 }