Subversion Repositories HelenOS

Rev

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

Rev 3973 Rev 4117
Line 49... Line 49...
49
 * 1:1 virtual-physical mapping is created in kernel address space. Mapping
49
 * 1:1 virtual-physical mapping is created in kernel address space. Mapping
50
 * for table with exception vectors is also created.
50
 * for table with exception vectors is also created.
51
 */
51
 */
52
void page_arch_init(void)
52
void page_arch_init(void)
53
{
53
{
54
    uintptr_t cur;
-
 
55
    int flags;
54
    int flags = PAGE_CACHEABLE;
56
 
-
 
57
    page_mapping_operations = &pt_mapping_operations;
55
    page_mapping_operations = &pt_mapping_operations;
58
 
56
   
59
    flags = PAGE_CACHEABLE;
57
    uintptr_t cur;
60
 
-
 
61
    /* PA2KA(identity) mapping for all frames until last_frame */
58
    /* Kernel identity mapping */
62
    for (cur = 0; cur < last_frame; cur += FRAME_SIZE) {
59
    for (cur = 0; cur < last_frame; cur += FRAME_SIZE)
63
        page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
60
        page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
64
    }
-
 
65
   
61
   
66
    /* create mapping for exception table at high offset */
62
    /* Create mapping for exception table at high offset */
67
#ifdef HIGH_EXCEPTION_VECTORS
63
#ifdef HIGH_EXCEPTION_VECTORS
68
    void *virtaddr = frame_alloc(ONE_FRAME, FRAME_KA);
64
    void *virtaddr = frame_alloc(ONE_FRAME, FRAME_KA);
69
    page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags);
65
    page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, KA2PA(virtaddr), flags);
70
#else
66
#else
71
#error "Only high exception vector supported now"
67
#error "Only high exception vector supported now"
72
#endif
68
#endif
73
 
69
   
74
    as_switch(NULL, AS_KERNEL);
70
    as_switch(NULL, AS_KERNEL);
75
 
71
   
76
    boot_page_table_free();
72
    boot_page_table_free();
77
}
73
}
78
 
74
 
79
/** Maps device into the kernel space.
75
/** Maps device into the kernel space.
80
 *
76
 *
Line 91... Line 87...
91
    if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
87
    if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
92
        KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH)) {
88
        KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH)) {
93
        panic("Unable to map physical memory %p (%d bytes).",
89
        panic("Unable to map physical memory %p (%d bytes).",
94
            physaddr, size)
90
            physaddr, size)
95
    }
91
    }
96
 
92
   
97
    uintptr_t virtaddr = PA2KA(last_frame);
93
    uintptr_t virtaddr = PA2KA(last_frame);
98
    pfn_t i;
94
    pfn_t i;
99
    for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
95
    for (i = 0; i < ADDR2PFN(ALIGN_UP(size, PAGE_SIZE)); i++) {
100
        page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i),
96
        page_mapping_insert(AS_KERNEL, virtaddr + PFN2ADDR(i),
101
            physaddr + PFN2ADDR(i),
97
            physaddr + PFN2ADDR(i),
102
            PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
98
            PAGE_NOT_CACHEABLE | PAGE_READ | PAGE_WRITE | PAGE_KERNEL);
103
    }
99
    }
104
 
100
   
105
    last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
101
    last_frame = ALIGN_UP(last_frame + size, FRAME_SIZE);
106
    return virtaddr;
102
    return virtaddr;
107
}
103
}
108
 
104
 
109
/** @}
105
/** @}