Getting SharC to check some locking
[akaros.git] / kern / src / init.c
1 /* See COPYRIGHT for copyright information. */
2
3 #ifdef __SHARC__
4 #pragma nosharc
5 #endif
6
7 #ifdef __BSD_ON_CORE_0__
8 #include Everything For Free -- It just works!!
9 #else
10
11 #include <arch/arch.h>
12 #include <arch/console.h>
13 #include <multiboot.h>
14 #include <stab.h>
15 #include <smp.h>
16
17 #include <atomic.h>
18 #include <stdio.h>
19 #include <string.h>
20 #include <assert.h>
21 #include <monitor.h>
22 #include <pmap.h>
23 #include <process.h>
24 #include <trap.h>
25 #include <syscall.h>
26 #include <kclock.h>
27 #include <manager.h>
28
29 void kernel_init(multiboot_info_t *mboot_info)
30 {
31         extern char (BND(__this, end) edata)[], (SNT end)[];
32
33         // Before doing anything else, complete the ELF loading process.
34         // Clear the uninitialized global data (BSS) section of our program.
35         // This ensures that all static/global variables start out zero.
36         memset(edata, 0, end - edata);
37
38         // Initialize the console.
39         // Can't call cprintf until after we do this!
40         cons_init();
41
42         print_cpuinfo();
43
44         // zra: using KADDR macro gives a runtime warning, but it is possibly more
45     //      clear what's going on this way?
46         //multiboot_detect_memory((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
47         //multiboot_print_memory_map((multiboot_info_t*)((uint32_t)mboot_info + KERNBASE));
48         multiboot_detect_memory((multiboot_info_t*COUNT(1))KADDR((physaddr_t)mboot_info));
49         multiboot_print_memory_map((multiboot_info_t*COUNT(1))KADDR((physaddr_t)mboot_info));
50
51         vm_init();
52
53         cache_init();
54         page_init();
55         page_check();
56
57         env_init();
58
59         idt_init();
60         sysenter_init();
61         timer_init();
62
63         // this returns when all other cores are done and ready to receive IPIs
64         smp_boot();
65
66         manager();
67 }
68
69 /*
70  * Panic is called on unresolvable fatal errors.
71  * It prints "panic: mesg", and then enters the kernel monitor.
72  */
73 void _panic(const char *file, int line, const char *fmt,...)
74 {
75         va_list ap;
76
77         va_start(ap, fmt);
78         cprintf("kernel panic at %s:%d, from core %d: ", file, line, core_id());
79         vcprintf(fmt, ap);
80         cprintf("\n");
81         va_end(ap);
82
83 dead:
84         /* break into the kernel monitor, if we're core 0 */
85         if (core_id()) {
86                 smp_idle();
87                 panic("should never see me");
88         }
89         while (1)
90                 monitor(NULL);
91 }
92
93 /* like panic, but don't */
94 void _warn(const char *file, int line, const char *fmt,...)
95 {
96         va_list ap;
97
98         va_start(ap, fmt);
99         cprintf("kernel warning at %s:%d, from core %d: ", file, line, core_id());
100         vcprintf(fmt, ap);
101         cprintf("\n");
102         va_end(ap);
103 }
104
105 #endif //Everything For Free