| /branches/dynload/kernel/arch/mips32/src/mm/tlb.c |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup mips32mm |
| /** @addtogroup mips32mm |
| * @{ |
| */ |
| /** @file |
| 41,7 → 41,7 |
| #include <panic.h> |
| #include <arch.h> |
| #include <symtab.h> |
| #include <synch/spinlock.h> |
| #include <synch/mutex.h> |
| #include <print.h> |
| #include <debug.h> |
| #include <align.h> |
| 92,15 → 92,15 |
| uintptr_t badvaddr; |
| pte_t *pte; |
| int pfrc; |
| badvaddr = cp0_badvaddr_read(); |
| spinlock_lock(&AS->lock); |
| mutex_lock(&AS->lock); |
| asid = AS->asid; |
| spinlock_unlock(&AS->lock); |
| mutex_unlock(&AS->lock); |
| page_table_lock(AS, true); |
| pte = find_mapping_and_check(badvaddr, PF_ACCESS_READ, istate, &pfrc); |
| if (!pte) { |
| switch (pfrc) { |
| /branches/dynload/kernel/arch/mips32/src/mm/frame.c |
|---|
| 65,7 → 65,9 |
| static count_t phys_regions_count = 0; |
| static phys_region_t phys_regions[MAX_REGIONS]; |
| uintptr_t end_frame = 0; |
| /** Check whether frame is available |
| * |
| * Returns true if given frame is generally available for use. |
| 75,7 → 77,7 |
| */ |
| static bool frame_available(pfn_t frame) |
| { |
| #ifdef msim |
| #ifdef MACHINE_msim |
| /* MSIM device (dprinter) */ |
| if (frame == (KA2PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH)) |
| return false; |
| 85,13 → 87,13 |
| return false; |
| #endif |
| #ifdef simics |
| #ifdef MACHINE_simics |
| /* Simics device (serial line) */ |
| if (frame == (KA2PA(SERIAL_ADDRESS) >> ZERO_PAGE_WIDTH)) |
| return false; |
| #endif |
| #if defined(lgxemul) || defined(bgxemul) |
| #if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul) |
| /* gxemul devices */ |
| if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE, |
| 0x10000000, MB2SIZE(256))) |
| 236,8 → 238,10 |
| } |
| } |
| frame_add_region(start_frame, frame); |
| end_frame = frame; |
| frame_add_region(start_frame, end_frame); |
| /* Blacklist interrupt vector frame */ |
| frame_mark_unavailable(0, 1); |
| /branches/dynload/kernel/arch/mips32/src/mm/page.c |
|---|
| 26,7 → 26,7 |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| /** @addtogroup mips32mm |
| /** @addtogroup mips32mm |
| * @{ |
| */ |
| /** @file |
| 35,6 → 35,7 |
| #include <arch/mm/page.h> |
| #include <genarch/mm/page_pt.h> |
| #include <mm/page.h> |
| #include <mm/frame.h> |
| void page_arch_init(void) |
| { |
| 50,5 → 51,11 |
| return physaddr + 0xa0000000; |
| } |
| void hw_area(uintptr_t *physaddr, pfn_t *frames) |
| { |
| *physaddr = end_frame; |
| *frames = ADDR2PFN(0xffffffff - end_frame); |
| } |
| /** @} |
| */ |