static void ram_init (void);
static void gdt_init (void);
static void argv_init (void);
-void power_off (void);
static void
main_thread (void *aux UNUSED)
kbd_init ();
/* Do everything else in a system thread. */
- thread_init ();
- thread_start (thread_create ("main", main_thread, NULL));
+ thread_init ("main", main_thread, NULL);
}
static uint64_t
0x67, SYS_SYSTEM, TYPE_TSS_32_A, 0, GRAN_BYTE);
}
-uint64_t gdt[SEL_CNT];
+static uint64_t gdt[SEL_CNT];
struct tss *tss;
}
argv[argc] = NULL;
}
-\f
-void
-power_off (void)
-{
- const char s[] = "Shutdown";
- const char *p;
-
- printk ("Powering off...\n");
- for (p = s; *p != '\0'; p++)
- outb (0x8900, *p);
- for (;;);
-}