Constant sel4_common::sel4_config::KERNEL_ELF_BASE_OFFSET
source · pub const KERNEL_ELF_BASE_OFFSET: usize = _; // 18_446_744_069_414_584_320usizepub const KERNEL_ELF_BASE_OFFSET: usize = _; // 18_446_744_069_414_584_320usize