Constant sel4::init_thread::slot::BOOT_INFO_FRAME

source · 
pub const BOOT_INFO_FRAME: Slot<Granule>;