Workqueue interface and coreid()
[akaros.git] / kern / src / init.c
1 /* See COPYRIGHT for copyright information. */
2
3 #ifdef __DEPUTY__
4 #pragma nodeputy
5 #endif
6
7 #ifdef __BSD_ON_CORE_0__
8 #include Everything For Free -- It just works!!
9 #else
10
11 #include <arch/x86.h>
12 #include <arch/apic.h>
13 #include <arch/console.h>
14 #include <arch/multiboot.h>
15 #include <arch/stab.h>
16 #include <arch/smp.h>
17
18 #include <atomic.h>
19 #include <stdio.h>
20 #include <string.h>
21 #include <assert.h>
22 #include <monitor.h>
23 #include <pmap.h>
24 #include <process.h>
25 #include <trap.h>
26 #include <testing.h>
27 #include <syscall.h>
28 #include <kclock.h>
29 #include <manager.h>
30
31 static void print_cpuinfo(void);
32
33 void kernel_init(multiboot_info_t *mboot_info)
34 {
35         extern char (BND(__this, end) edata)[], (SNT end)[];
36
37         // Before doing anything else, complete the ELF loading process.
38         // Clear the uninitialized global data (BSS) section of our program.
39         // This ensures that all static/global variables start out zero.
40         memset(edata, 0, end - edata);
41
42         // Initialize the console.
43         // Can't call cprintf until after we do this!
44         cons_init();
45
46         print_cpuinfo();
47
48         i386_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
49         i386_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
50         i386_vm_init();
51         page_init();
52         page_check();
53
54         env_init();
55         idt_init();
56         sysenter_init();
57         timer_init();
58         // this returns when all other cores are done and ready to receive IPIs
59         smp_boot();
60         /*
61         test_smp_call_functions();
62         test_checklists();
63         test_barrier();
64         test_print_info();
65         test_lapic_status_bit();
66         test_ipi_sending();
67         test_pit();
68         */
69         manager();
70 }
71
72 /*
73  * Panic is called on unresolvable fatal errors.
74  * It prints "panic: mesg", and then enters the kernel monitor.
75  */
76 void _panic(const char *file, int line, const char *fmt,...)
77 {
78         va_list ap;
79
80         va_start(ap, fmt);
81         cprintf("kernel panic at %s:%d, from core %d: ", file, line, coreid());
82         vcprintf(fmt, ap);
83         cprintf("\n");
84         va_end(ap);
85
86 dead:
87         /* break into the kernel monitor, if we're core 0 */
88         if (coreid()) {
89                 smp_idle();
90                 panic("should never see me");
91         }
92         while (1)
93                 monitor(NULL);
94 }
95
96 /* like panic, but don't */
97 void _warn(const char *file, int line, const char *fmt,...)
98 {
99         va_list ap;
100
101         va_start(ap, fmt);
102         cprintf("kernel warning at %s:%d, from core %d: ", file, line, coreid());
103         vcprintf(fmt, ap);
104         cprintf("\n");
105         va_end(ap);
106 }
107
108 static void print_cpuinfo(void) {
109         uint32_t eax, ebx, ecx, edx;
110         uint32_t model, family;
111         uint64_t msr_val;
112         char vendor_id[13];
113
114         asm volatile ("cpuid;"
115                   "movl    %%ebx, (%2);"
116                   "movl    %%edx, 4(%2);"
117                   "movl    %%ecx, 8(%2);"
118                       : "=a"(eax)
119                                   : "a"(0), "D"(vendor_id)
120                       : "%ebx", "%ecx", "%edx");
121
122         vendor_id[12] = '\0';
123         cprintf("Vendor ID: %s\n", vendor_id);
124         cprintf("Largest Standard Function Number Supported: %d\n", eax);
125         cpuid(0x80000000, &eax, 0, 0, 0);
126         cprintf("Largest Extended Function Number Supported: 0x%08x\n", eax);
127         cpuid(1, &eax, &ebx, &ecx, &edx);
128         family = ((eax & 0x0FF00000) >> 20) + ((eax & 0x00000F00) >> 8);
129         model = ((eax & 0x000F0000) >> 12) + ((eax & 0x000000F0) >> 4);
130         cprintf("Family: %d\n", family);
131         cprintf("Model: %d\n", model);
132         cprintf("Stepping: %d\n", eax & 0x0000000F);
133         // eventually can fill this out with SDM Vol3B App B info, or
134         // better yet with stepping info.  or cpuid 8000_000{2,3,4}
135         switch ( family << 8 | model ) {
136                 case(0x061a):
137                         cprintf("Processor: Core i7\n");
138                         break;
139                 case(0x060f):
140                         cprintf("Processor: Core 2 Duo or Similar\n");
141                         break;
142                 default:
143                         cprintf("Unknown or non-Intel CPU\n");
144         }
145         if (!(edx & 0x00000020))
146                 panic("MSRs not supported!");
147         if (!(edx & 0x00001000))
148                 panic("MTRRs not supported!");
149         if (!(edx & 0x00002000))
150                 panic("Global Pages not supported!");
151         if (!(edx & 0x00000200))
152                 panic("Local APIC Not Detected!");
153         if (ecx & 0x00200000)
154                 cprintf("x2APIC Detected\n");
155         else
156                 cprintf("x2APIC Not Detected\n");
157         cpuid(0x80000008, &eax, &ebx, &ecx, &edx);
158         cprintf("Physical Address Bits: %d\n", eax & 0x000000FF);
159         cprintf("Cores per Die: %d\n", (ecx & 0x000000FF) + 1);
160     cprintf("This core's Default APIC ID: 0x%08x\n", lapic_get_default_id());
161         msr_val = read_msr(IA32_APIC_BASE);
162         if (msr_val & MSR_APIC_ENABLE)
163                 cprintf("Local APIC Enabled\n");
164         else
165                 cprintf("Local APIC Disabled\n");
166         if (msr_val & 0x00000100)
167                 cprintf("I am the Boot Strap Processor\n");
168         else
169                 cprintf("I am an Application Processor\n");
170         cpuid(0x80000007, &eax, &ebx, &ecx, &edx);
171         if (edx & 0x00000100)
172                 printk("Invariant TSC present\n");
173         else
174                 printk("Invariant TSC not present\n");
175 }
176
177 #endif //Everything For Free