From ad60fe110ba20e9ff5ac08d0d6117063d94d8356 Mon Sep 17 00:00:00 2001 From: Rob Bradford Date: Wed, 23 Oct 2019 14:10:11 +0100 Subject: [PATCH] arch: x86_64: acpi: Mark 64-bit device area uncacheable This region was erroneously marked as cacheable. Signed-off-by: Rob Bradford --- arch/src/x86_64/acpi.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/src/x86_64/acpi.rs b/arch/src/x86_64/acpi.rs index e36d470ef..c71f7d912 100644 --- a/arch/src/x86_64/acpi.rs +++ b/arch/src/x86_64/acpi.rs @@ -137,7 +137,7 @@ pub fn create_dsdt_table( as u32, ), &aml::AddressSpace::new_memory( - aml::AddressSpaceCachable::Cacheable, + aml::AddressSpaceCachable::NotCacheable, true, start_of_device_area.0, end_of_device_area.0,