Subversion Repositories HelenOS-historic

Rev

Rev 1157 | Rev 1395 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 1157 Rev 1166
Line 30... Line 30...
30 
#include "printf.h"
 30 
#include "printf.h"
31 
#include "asm.h"
 31 
#include "asm.h"
32 
 
 32 
 
33 
#define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start)
 33 
#define KERNEL_START ((void *) &_binary_____________kernel_kernel_bin_start)
34 
#define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end)
 34 
#define KERNEL_END ((void *) &_binary_____________kernel_kernel_bin_end)
35 
#define KERNEL_SIZE ((unsigned int) KERNEL_END - (unsigned int) KERNEL_START)
 35 
#define KERNEL_SIZE ((unsigned long) KERNEL_END - (unsigned long) KERNEL_START)
36 
 
 36 
 
37 
#define HEAP_GAP 1024000
 37 
#define HEAP_GAP 1024000
38 
 
 38 
 
39 
bootinfo_t bootinfo;
 39 
bootinfo_t bootinfo;
40 
 
 40 
 
41 
 
 41 
 
42 
static void check_align(const void *addr, const char *desc)
 42 
static void check_align(const void *addr, const char *desc)
43 
{
 43 
{
44 
    if ((unsigned int) addr % PAGE_SIZE != 0) {
 44 
    if ((unsigned long) addr % PAGE_SIZE != 0) {
45 
        printf("Error: %s not on page boundary, halting.\n", desc);
 45 
        printf("Error: %s not on page boundary, halting.\n", desc);
46 
        halt();
 46 
        halt();
47 
    }
 47 
    }
48 
}
 48 
}
49 
 
 49 
 
50 
 
 50 
 
51 
static void fix_overlap(void *va, void **pa, const char *desc, unsigned int *top)
 51 
static void fix_overlap(void *va, void **pa, const char *desc, unsigned long *top)
52 
{
 52 
{
53 
    if ((unsigned int) *pa + PAGE_SIZE < *top) {
 53 
    if ((unsigned long) *pa + PAGE_SIZE < *top) {
54 
        printf("Warning: %s overlaps kernel physical area\n", desc);
 54 
        printf("Warning: %s overlaps kernel physical area\n", desc);
55 
       
 55 
       
56 
        void *new_va = (void *) (ALIGN_UP((unsigned int) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);
 56 
        void *new_va = (void *) (ALIGN_UP((unsigned long) KERNEL_END + HEAP_GAP, PAGE_SIZE) + *top);
57 
        void *new_pa = (void *) (HEAP_GAP + *top);
 57 
        void *new_pa = (void *) (HEAP_GAP + *top);
58 
        *top += PAGE_SIZE;
 58 
        *top += PAGE_SIZE;
59 
       
 59 
       
60 
        if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {
 60 
        if (ofw_map(new_pa, new_va, PAGE_SIZE, 0) != 0) {
61 
            printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa);
 61 
            printf("Error: Unable to map page aligned memory at %L (physical %L), halting.\n", new_va, new_pa);
62 
            halt();
 62 
            halt();
63 
        }
 63 
        }
64 
       
 64 
       
65 
        if ((unsigned int) new_pa + PAGE_SIZE < KERNEL_SIZE) {
 65 
        if ((unsigned long) new_pa + PAGE_SIZE < KERNEL_SIZE) {
66 
            printf("Error: %s cannot be relocated, halting.\n", desc);
 66 
            printf("Error: %s cannot be relocated, halting.\n", desc);
67 
            halt();
 67 
            halt();
68 
        }
 68 
        }
69 
       
 69 
       
70 
        printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);
 70 
        printf("Relocating %L -> %L (physical %L -> %L)\n", va, new_va, *pa, new_pa);
Line 101... Line 101...
101 
    printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);
 101 
    printf(" screen at %L, resolution %dx%d, %d bpp (scanline %d bytes)\n", bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.bpp, bootinfo.screen.scanline);
102 
   
 102 
   
103 
    void *real_mode_pa = ofw_translate(&real_mode);
 103 
    void *real_mode_pa = ofw_translate(&real_mode);
104 
    void *trans_pa = ofw_translate(&trans);
 104 
    void *trans_pa = ofw_translate(&trans);
105 
    void *bootinfo_pa = ofw_translate(&bootinfo);
 105 
    void *bootinfo_pa = ofw_translate(&bootinfo);
106 
    void *fb = (void *) (((unsigned int) bootinfo.screen.addr) & ((unsigned int) ~0 << 17));
 106 
    void *fb = (void *) (((unsigned long) bootinfo.screen.addr) & ((unsigned long) ~0 << 17));
107 
   
 107 
   
108 
    printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);
 108 
    printf("\nMemory statistics (total %d MB)\n", bootinfo.memmap.total >> 20);
109 
    printf(" kernel image         at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE);
 109 
    printf(" kernel image         at %L (size %d bytes)\n", KERNEL_START, KERNEL_SIZE);
110 
    printf(" boot info            at %L (physical %L)\n", &bootinfo, bootinfo_pa);
 110 
    printf(" boot info            at %L (physical %L)\n", &bootinfo, bootinfo_pa);
111 
    printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa);
 111 
    printf(" bootstrap trampoline at %L (physical %L)\n", &real_mode, real_mode_pa);
112 
    printf(" translation table    at %L (physical %L)\n", &trans, trans_pa);
 112 
    printf(" translation table    at %L (physical %L)\n", &trans, trans_pa);
113 
   
 113 
   
114 
    unsigned int top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE);
 114 
    unsigned long top = ALIGN_UP(KERNEL_SIZE, PAGE_SIZE);
115 
    unsigned int addr;
 115 
    unsigned long addr;
116 
    for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) {
 116 
    for (addr = 0; addr < KERNEL_SIZE; addr += PAGE_SIZE) {
117 
        void *pa = ofw_translate(KERNEL_START + addr);
 117 
        void *pa = ofw_translate(KERNEL_START + addr);
118 
        fix_overlap(KERNEL_START + addr, &pa, "Kernel image", &top);
 118 
        fix_overlap(KERNEL_START + addr, &pa, "Kernel image", &top);
119 
        trans[addr >> PAGE_WIDTH] = pa;
 119 
        trans[addr >> PAGE_WIDTH] = pa;
120 
    }
 120 
    }