Martin Whitaker
|
5211b67e6c
|
Add option to map_region to indicate we only use the region during startup.
This will avoid unnecessary remapping of the ACPI tables if they are
located in the third GB of memory.
|
2022-02-28 22:05:21 +00:00 |
|
Martin Whitaker
|
a65d6a795d
|
Rename map_device to map_region to better describe its use.
|
2022-02-28 22:05:21 +00:00 |
|
Martin Whitaker
|
604b22449a
|
Allow device mapping to reuse existing mapped regions when they fully overlap.
|
2022-02-28 22:05:21 +00:00 |
|
Martin Whitaker
|
e4ad2dfa1b
|
Don't use the top 0.5GB of the 32-bit address space for device mapping.
This region is commonly used by the BIOS for mapping hardware devices,
so we can avoid a lot of remapping if we don't use it.
|
2022-02-28 22:05:21 +00:00 |
|
Martin Whitaker
|
9785d8f8b9
|
Map USB controller registers into the reserved area of virtual memory.
This ensures they are accessible when the test is running, and if they
are physically mapped above 4GB.
|
2021-12-23 17:45:26 +00:00 |
|
Martin Whitaker
|
fbd3376668
|
Initial commit.
|
2020-05-24 21:30:55 +01:00 |
|