Subversion Repositories HelenOS

Rev

Rev 3230 | Rev 3232 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1 jermar 1
/*
2071 jermar 2
 * Copyright (c) 2005 Jakub Jermar
1 jermar 3
 * All rights reserved.
4
 *
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
7
 * are met:
8
 *
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
28
 
1776 jermar 29
/** @addtogroup mips32mm   
1702 cejka 30
 * @{
31
 */
32
/** @file
33
 */
34
 
3228 decky 35
#include <macros.h>
1 jermar 36
#include <arch/mm/frame.h>
3228 decky 37
#include <arch/mm/tlb.h>
3230 decky 38
#include <interrupt.h>
1 jermar 39
#include <mm/frame.h>
3228 decky 40
#include <mm/asid.h>
368 jermar 41
#include <config.h>
3228 decky 42
#include <arch/drivers/msim.h>
43
#include <arch/drivers/serial.h>
44
#include <print.h>
1 jermar 45
 
3231 decky 46
#define ZERO_PAGE_MASK      TLB_PAGE_MASK_256K
47
#define ZERO_FRAMES         16384
48
#define ZERO_PAGE_WIDTH     18  /* 256K */
3228 decky 49
#define ZERO_PAGE_SIZE      (1 << ZERO_PAGE_WIDTH)
50
#define ZERO_PAGE_ASID      ASID_INVALID
51
#define ZERO_PAGE_TLBI      0
52
#define ZERO_PAGE_ADDR      0
53
#define ZERO_PAGE_OFFSET    (ZERO_PAGE_SIZE / sizeof(uint32_t) - 1)
3230 decky 54
#define ZERO_PAGE_VALUE     (((volatile uint32_t *) ZERO_PAGE_ADDR)[ZERO_PAGE_OFFSET])
3228 decky 55
 
56
#define MAX_REGIONS         32
57
 
58
typedef struct {
59
    pfn_t start;
60
    pfn_t count;
61
} phys_region_t;
62
 
63
static count_t phys_regions_count = 0;
64
static phys_region_t phys_regions[MAX_REGIONS];
65
 
66
 
67
/** Check whether frame is available
68
 *
69
 * Returns true if given frame is generally available for use.
70
 * Returns false if given frame is used for physical memory
71
 * mapped devices and cannot be used.
72
 *
73
 */
74
static bool frame_available(pfn_t frame)
75
{
76
    /* MSIM device (dprinter) */
77
    if (frame == (KA2PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH))
78
        return false;
79
 
80
    /* MSIM device (dkeyboard) */
81
    if (frame == (KA2PA(MSIM_KBD_ADDRESS) >> ZERO_PAGE_WIDTH))
82
        return false;
83
 
84
    /* Simics device (serial line) */
85
    if (frame == (KA2PA(SERIAL_ADDRESS) >> ZERO_PAGE_WIDTH))
86
        return false;
87
 
88
    return true;
89
}
90
 
91
 
92
/** Check whether frame is safe to write
93
 *
94
 * Returns true if given frame is safe for read/write test.
95
 * Returns false if given frame should not be touched.
96
 *
97
 */
98
static bool frame_safe(pfn_t frame)
99
{
100
    /* Kernel structures */
101
    if ((frame << ZERO_PAGE_WIDTH) < KA2PA(config.base))
102
        return false;
103
 
104
    /* Kernel */
105
    if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
106
        KA2PA(config.base), config.kernel_size))
107
        return false;
108
 
109
    /* Kernel stack */
110
    if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
111
        KA2PA(config.stack_base), config.stack_size))
112
        return false;
113
 
114
    /* Init tasks */
115
    bool safe = true;
116
    count_t i;
117
    for (i = 0; i < init.cnt; i++)
118
        if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE,
119
            KA2PA(init.tasks[i].addr), init.tasks[i].size)) {
120
            safe = false;
121
            break;
122
        }
123
 
124
    return safe;
125
}
126
 
127
static void frame_add_region(pfn_t start_frame, pfn_t end_frame)
128
{
129
    if (end_frame > start_frame) {
130
        /* Convert 1M frames to 16K frames */
131
        pfn_t first = ADDR2PFN(start_frame << ZERO_PAGE_WIDTH);
3230 decky 132
        pfn_t count = ADDR2PFN((end_frame - start_frame) << ZERO_PAGE_WIDTH);
3228 decky 133
 
134
        /* Interrupt vector frame is blacklisted */
135
        pfn_t conf_frame;
136
        if (start_frame == 0)
137
            conf_frame = 1;
138
        else
139
            conf_frame = first;
140
 
141
        zone_create(first, count, conf_frame, 0);
142
 
143
        if (phys_regions_count < MAX_REGIONS) {
144
            phys_regions[phys_regions_count].start = first;
145
            phys_regions[phys_regions_count].count = count;
146
            phys_regions_count++;
147
        }
148
    }
149
}
150
 
151
 
573 palkovsky 152
/** Create memory zones
153
 *
3228 decky 154
 * Walk through available 1 MB chunks of physical
155
 * memory and create zones.
156
 *
3230 decky 157
 * Note: It is assumed that the TLB is not yet being
158
 * used in any way, thus there is no interference.
159
 *
573 palkovsky 160
 */
1 jermar 161
void frame_arch_init(void)
162
{
3230 decky 163
    ipl_t ipl = interrupts_disable();
3228 decky 164
 
3230 decky 165
    /* Clear and initialize TLB */
166
    cp0_pagemask_write(ZERO_PAGE_MASK);
167
    cp0_entry_lo0_write(0);
168
    cp0_entry_lo1_write(0);
169
    cp0_entry_hi_write(0);
170
 
171
    count_t i;
172
    for (i = 0; i < TLB_ENTRY_COUNT; i++) {
173
        cp0_index_write(i);
174
        tlbwi();
175
    }
3228 decky 176
 
177
    pfn_t start_frame = 0;
178
    pfn_t frame;
179
    bool avail = true;
180
 
181
    /* Walk through all 1 MB frames */
182
    for (frame = 0; frame < ZERO_FRAMES; frame++) {
183
        if (!frame_available(frame))
184
            avail = false;
185
        else {
186
            if (frame_safe(frame)) {
187
                entry_lo_t lo0;
188
                entry_lo_t lo1;
189
                entry_hi_t hi;
190
                tlb_prepare_entry_lo(&lo0, false, true, true, false, frame << (ZERO_PAGE_WIDTH - 12));
191
                tlb_prepare_entry_lo(&lo1, false, false, false, false, 0);
192
                tlb_prepare_entry_hi(&hi, ZERO_PAGE_ASID, ZERO_PAGE_ADDR);
193
 
3230 decky 194
                cp0_pagemask_write(ZERO_PAGE_MASK);
3228 decky 195
                cp0_entry_lo0_write(lo0.value);
196
                cp0_entry_lo1_write(lo1.value);
197
                cp0_entry_hi_write(hi.value);
3230 decky 198
                cp0_index_write(ZERO_PAGE_TLBI);
3228 decky 199
                tlbwi();
200
 
201
                ZERO_PAGE_VALUE = 0;
202
                if (ZERO_PAGE_VALUE != 0)
203
                    avail = false;
204
                else {
205
                    ZERO_PAGE_VALUE = 0xdeadbeef;
206
                    if (ZERO_PAGE_VALUE != 0xdeadbeef)
207
                        avail = false;
208
                }
209
            }
210
        }
211
 
212
        if (!avail) {
213
            frame_add_region(start_frame, frame);
214
            start_frame = frame + 1;
215
            avail = true;
216
        }
814 palkovsky 217
    }
3228 decky 218
 
219
    frame_add_region(start_frame, frame);
220
 
3230 decky 221
    /* Blacklist interrupt vector frame */
222
    frame_mark_unavailable(0, 1);
223
 
224
    /* Cleanup */
225
    cp0_pagemask_write(ZERO_PAGE_MASK);
226
    cp0_entry_lo0_write(0);
227
    cp0_entry_lo1_write(0);
228
    cp0_entry_hi_write(0);
3228 decky 229
    cp0_index_write(ZERO_PAGE_TLBI);
230
    tlbwi();
231
 
3230 decky 232
    interrupts_restore(ipl);
1 jermar 233
}
1702 cejka 234
 
3228 decky 235
 
236
void physmem_print(void)
237
{
238
    printf("Base       Size\n");
239
    printf("---------- ----------\n");
240
 
241
    count_t i;
242
    for (i = 0; i < phys_regions_count; i++) {
3231 decky 243
        printf("%#010x %10u\n",
3228 decky 244
            PFN2ADDR(phys_regions[i].start), PFN2ADDR(phys_regions[i].count));
245
    }  
246
}
247
 
1776 jermar 248
/** @}
1702 cejka 249
 */