From 63d0a05e14c80dbeb8b3c5615d5b456f066dae8a Mon Sep 17 00:00:00 2001
From: Yuke Peng <pykfirst@gmail.com>
Date: Sun, 23 Mar 2025 14:05:26 +0800
Subject: [PATCH] Adjust `VADDR_RANGE` in the implementation of `PageTableMode`
 for `DeviceMode`

---
 ostd/src/arch/x86/iommu/dma_remapping/second_stage.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ostd/src/arch/x86/iommu/dma_remapping/second_stage.rs b/ostd/src/arch/x86/iommu/dma_remapping/second_stage.rs
index b842401bc..3b9e8449c 100644
--- a/ostd/src/arch/x86/iommu/dma_remapping/second_stage.rs
+++ b/ostd/src/arch/x86/iommu/dma_remapping/second_stage.rs
@@ -20,8 +20,8 @@ use crate::{
 pub struct DeviceMode {}
 
 impl PageTableMode for DeviceMode {
-    /// The device address space is 32-bit.
-    const VADDR_RANGE: Range<Vaddr> = 0..0x1_0000_0000;
+    /// The device address width we currently support is 39-bit.
+    const VADDR_RANGE: Range<Vaddr> = 0..0x80_0000_0000;
 }
 
 #[derive(Clone, Debug, Default)]