sel4_
config
0.1.0
In sel4_
config::
consts
sel4_config
::
consts
Constant
PADDR_USER_DEVICE_TOP
Copy item path
Source
pub const PADDR_USER_DEVICE_TOP: &str = "549755813888";