Subversion Repositories HelenOS-historic

Rev

Rev 1157 | 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
    }