ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 03:06:39 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

acpi: print RMRR region (not just base)

Browse Source
This commit is contained in:
Christian Helmuth 2013-12-04 13:10:28 +01:00
parent b24f48b125
commit eaed3ba207
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
os/src/drivers/acpi/acpi.cc
View File

@ -131,6 +131,7 @@ struct Dmar_struct
uint8_t reserved;
uint16_t pci_segment;
uint64_t base;
uint64_t limit;
Dmar_struct *next() {
return reinterpret_cast<Dmar_struct *>((uint8_t *)this + length); }
@ -339,7 +340,8 @@ class Table_wrapper
Dmar_struct *dmar = _table->dmar_struct();
for (; dmar < _table->dmar_end(); dmar = dmar->next())
if (dmar->type == Dmar_struct::RMRR)
PLOG("RMRR: 0x%llx - DMA region reported by BIOS", dmar->base);
PLOG("RMRR: [0x%llx,0x%llx] - DMA region reported by BIOS",
dmar->base, dmar->limit);
}
Table_wrapper(addr_t base) : _base(base), _io_mem(0), _table(0)