00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00036 #include <mm/frame.h>
00037 #include <arch/mm/frame.h>
00038 #include <mm/as.h>
00039 #include <config.h>
00040 #include <arch/boot/boot.h>
00041 #include <arch/boot/memmap.h>
00042 #include <panic.h>
00043 #include <debug.h>
00044 #include <align.h>
00045 #include <macros.h>
00046
00047 #include <print.h>
00048 #include <console/cmd.h>
00049 #include <console/kconsole.h>
00050
00051 size_t hardcoded_unmapped_ktext_size = 0;
00052 size_t hardcoded_unmapped_kdata_size = 0;
00053
00054 __address last_frame = 0;
00055
00056 static void init_e820_memory(pfn_t minconf)
00057 {
00058 int i;
00059 pfn_t start, conf;
00060 size_t size;
00061
00062 for (i = 0; i < e820counter; i++) {
00063 if (e820table[i].type == MEMMAP_MEMORY_AVAILABLE) {
00064 start = ADDR2PFN(ALIGN_UP(e820table[i].base_address,
00065 FRAME_SIZE));
00066 size = SIZE2FRAMES(ALIGN_DOWN(e820table[i].size,
00067 FRAME_SIZE));
00068 if (minconf < start || minconf >= start+size)
00069 conf = start;
00070 else
00071 conf = minconf;
00072 zone_create(start, size, conf, 0);
00073 if (last_frame < ALIGN_UP(e820table[i].base_address + e820table[i].size, FRAME_SIZE))
00074 last_frame = ALIGN_UP(e820table[i].base_address + e820table[i].size, FRAME_SIZE);
00075 }
00076 }
00077 }
00078
00079 static int cmd_e820mem(cmd_arg_t *argv);
00080 static cmd_info_t e820_info = {
00081 .name = "e820list",
00082 .description = "List e820 memory.",
00083 .func = cmd_e820mem,
00084 .argc = 0
00085 };
00086
00087 static char *e820names[] = { "invalid", "available", "reserved",
00088 "acpi", "nvs", "unusable" };
00089
00090
00091 static int cmd_e820mem(cmd_arg_t *argv)
00092 {
00093 int i;
00094 char *name;
00095
00096 for (i = 0; i < e820counter; i++) {
00097 if (e820table[i].type <= MEMMAP_MEMORY_UNUSABLE)
00098 name = e820names[e820table[i].type];
00099 else
00100 name = "invalid";
00101 printf("%.*p %#.16llXB %s\n",
00102 sizeof(__native) * 2,
00103 (__native) e820table[i].base_address,
00104 (__u64) e820table[i].size,
00105 name);
00106 }
00107 return 0;
00108 }
00109
00110
00111 void frame_arch_init(void)
00112 {
00113 static pfn_t minconf;
00114
00115 if (config.cpu_active == 1) {
00116 cmd_initialize(&e820_info);
00117 cmd_register(&e820_info);
00118
00119
00120 minconf = 1;
00121 #ifdef CONFIG_SMP
00122 minconf = max(minconf,
00123 ADDR2PFN(AP_BOOT_OFFSET+hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size));
00124 #endif
00125 #ifdef CONFIG_SIMICS_FIX
00126 minconf = max(minconf, ADDR2PFN(0x10000));
00127 #endif
00128 init_e820_memory(minconf);
00129
00130
00131 frame_mark_unavailable(0, 1);
00132
00133 #ifdef CONFIG_SMP
00134
00135 frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH,
00136 (hardcoded_unmapped_ktext_size + hardcoded_unmapped_kdata_size) >> FRAME_WIDTH);
00137
00138 #ifdef CONFIG_SIMICS_FIX
00139
00140 frame_mark_unavailable(0xd000 >> FRAME_WIDTH,3);
00141 #endif
00142 #endif
00143 }
00144 }
00145