| 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. |
| 85,12 → 84,6 |
|---|
| return false; |
| #endif |
| |
| #ifdef MACHINE_simics |
| /* Simics device (serial line) */ |
| if (frame == (KA2PA(SERIAL_ADDRESS) >> ZERO_PAGE_WIDTH)) |
| return false; |
| #endif |
| |
| #if defined(MACHINE_lgxemul) || defined(MACHINE_bgxemul) |
| /* gxemul devices */ |
| if (overlaps(frame << ZERO_PAGE_WIDTH, ZERO_PAGE_SIZE, |