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