pub const KERNEL_ASPACE_BASE: u64 = 0xffff_ff02_0000_0000;
Expand description

The base of kernel address space In x86 fuchsia this is 0xffff_ff80_0000_0000 instead