Adjust VADDR_RANGE in the implementation of PageTableMode for DeviceMode

This commit is contained in:
Yuke Peng 2025-03-23 14:05:26 +08:00 committed by Junyang Zhang
parent b1c066c1ad
commit 63d0a05e14

View File

@ -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)]