arch: x86_64: acpi: Mark 64-bit device area uncacheable

This region was erroneously marked as cacheable.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
This commit is contained in:
Rob Bradford 2019-10-23 14:10:11 +01:00
parent 025f1f9d9b
commit ad60fe110b

View File

@ -137,7 +137,7 @@ pub fn create_dsdt_table(
as u32, as u32,
), ),
&aml::AddressSpace::new_memory( &aml::AddressSpace::new_memory(
aml::AddressSpaceCachable::Cacheable, aml::AddressSpaceCachable::NotCacheable,
true, true,
start_of_device_area.0, start_of_device_area.0,
end_of_device_area.0, end_of_device_area.0,