| 40,7 → 40,6 |
|---|
| #include <mm/asid.h> |
| #include <config.h> |
| #include <arch/drivers/msim.h> |
| #include <arch/drivers/serial.h> |
| #include <print.h> |
| |
| #define ZERO_PAGE_MASK TLB_PAGE_MASK_256K |
| 53,7 → 52,8 |
|---|
| #define ZERO_PAGE_OFFSET (ZERO_PAGE_SIZE / sizeof(uint32_t) - 1) |
| #define ZERO_PAGE_VALUE (((volatile uint32_t *) ZERO_PAGE_ADDR)[ZERO_PAGE_OFFSET]) |
| |
| #define ZERO_PAGE_VALUE_KSEG1(frame) (((volatile uint32_t *) (0xa0000000 + (frame << ZERO_PAGE_WIDTH)))[ZERO_PAGE_OFFSET]) |
| #define ZERO_PAGE_VALUE_KSEG1(frame) \ |
| (((volatile uint32_t *) (0xa0000000 + (frame << ZERO_PAGE_WIDTH)))[ZERO_PAGE_OFFSET]) |
| |
| #define MAX_REGIONS 32 |
| |
| 65,7 → 65,6 |
|---|
| static count_t phys_regions_count = 0; |
| static phys_region_t phys_regions[MAX_REGIONS]; |
| |
| |
| /** Check whether frame is available |
| * |
| * Returns true if given frame is generally available for use. |
| 75,7 → 74,7 |
|---|
| */ |
| static bool frame_available(pfn_t frame) |
| { |
| #if MACHINE == msim |
| #ifdef MACHINE_msim |
| /* MSIM device (dprinter) */ |
| if (frame == (KA2PA(MSIM_VIDEORAM) >> ZERO_PAGE_WIDTH)) |
| return false; |
| 85,13 → 84,7 |
|---|
| return false; |
| #endif |
| |
| #if MACHINE == simics |
| /* Simics device (serial line) */ |
| if (frame == (KA2PA(SERIAL_ADDRESS) >> ZERO_PAGE_WIDTH)) |
| return false; |
| #endif |
| |
| #if (MACHINE == lgxemul) || (MACHINE == bgxemul) |
| #if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul) |
| /* gxemul devices */ |
| if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE, |
| 0x10000000, MB2SIZE(256))) |
| 218,7 → 211,7 |
|---|
| ZERO_PAGE_VALUE = 0xdeadbeef; |
| if (ZERO_PAGE_VALUE != 0xdeadbeef) |
| avail = false; |
| #if (MACHINE == lgxemul) || (MACHINE == bgxemul) |
| #if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul) |
| else { |
| ZERO_PAGE_VALUE_KSEG1(frame) = 0xaabbccdd; |
| if (ZERO_PAGE_VALUE_KSEG1(frame) != 0xaabbccdd) |