/shark/branches/xen/arch/x86/x1.c |
---|
72,11 → 72,7 |
typedef char *charp; |
charp _argv[100]; |
#ifndef MAIN |
#define MAIN main |
#endif |
extern void MAIN(int argc,char *argv[]); |
extern void __kernel_init__(int argc, char *argv[]); |
extern void bios_save(void); |
extern void bios_restore(void); |
142,6 → 138,6 |
message("Argv[2] : %s\n",_argv[2]); |
message("Argv[3] : %s\n",_argv[3]); |
#endif |
MAIN(_argc,_argv); |
__kernel_init__(_argc,_argv); |
bios_restore(); |
} |