Constant driverkit::iomem::KERNEL_BASE

source ·
pub const KERNEL_BASE: u64 = 0x400000000000;
Expand description

TODO: get rid of this: